Article contents
PRESERVATION OF SUSLIN TREES AND SIDE CONDITIONS
Published online by Cambridge University Press: 29 June 2016
Abstract
We show how to force, with finite conditions, the forcing axiom PFA(T), a relativization of PFA to proper forcing notions preserving a given Suslin tree T. The proof uses a Neeman style iteration with generalized side conditions consisting of models of two types, and a preservation theorem for such iterations. The consistency of this axiom was previously known using a standard countable support iteration and a preservation theorem due to Miyamoto.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2016
References
REFERENCES
- 1
- Cited by