Forcing consequences of PFA together with the continuum large
From MaRDI portal
Forcing consequences of $PFA$ together with the continuum large
Abstract: We develop a new method for building forcing iterations with symmetric systems of structures as side conditions. Using our method we prove that the forcing axiom for the class of all the small finitely proper posets is compatible with a large continuum.
Recommendations
- \(\text{PFA}(S)[S]\) for the masses
- Creature forcing and large continuum: the joy of halving
- Forcing revisited
- scientific article; zbMATH DE number 7333380
- A quasi-lower bound on the consistency strength of PFA
- Large continuum, oracles
- PFA and precipitousness of the nonstationary ideal
- scientific article; zbMATH DE number 1639842
- Constrained pseudo-transient continuation
- Forcing with non-wellfounded models
Cites work
- A five element basis for the uncountable linear orders
- A generalization of Martin's axiom
- Adding a random or a Cohen real: topological consequences and the effect on Martin's axiom
- Aronszajn lines and the club filter
- Directed Sets and Cofinal Types
- Forcing axioms and stationary sets
- Forcing with sequences of models of two types
- scientific article; zbMATH DE number 3885892 (Why is no real title available?)
- scientific article; zbMATH DE number 5520231 (Why is no real title available?)
- scientific article; zbMATH DE number 3898876 (Why is no real title available?)
- scientific article; zbMATH DE number 4107675 (Why is no real title available?)
- Independence results
- Iterated Cohen extensions and Souslin's problem
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- More results in polychromatic Ramsey theory
- On strong chains of uncountable functions
- Proper and improper forcing.
- Proper forcing
- Random Reals and Souslin Trees
- SET MAPPING REFLECTION
- Set Theory
- Set theory. An introduction to independence proofs
- The Souslin problem
- Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
Cited in
(17)- \(\text{PFA}(S)[S]\) for the masses
- Adding many Baumgartner clubs
- Two applications of finite side conditions at \(\omega _2\)
- Forcing with sequences of models of two types
- Forcing with matrices of countable elementary submodels
- Parametrized Measuring and Club Guessing
- A fragment of Asperó-Mota's finitely proper forcing axiom and entangled sets of reals
- Hierarchies of forcing axioms II
- Forcing axioms and the continuum hypothesis
- Forcing axioms and the continuum hypothesis. II: Transcending \(\omega _1\)-sequences of real numbers
- Spaces constructed using \(\clubsuit\) and weaker related axioms
- RETRACTED – MEASURING CLUB-SEQUENCES TOGETHER WITH THE CONTINUUM LARGE
- ASPERÓ–MOTA ITERATION AND THE SIZE OF THE CONTINUUM
- On the consistency strength of the proper forcing axiom
- The P-ideal dichotomy, Martin's axiom and entangled sets
- A generalization of Martin's axiom
- Separating club-guessing principles in the presence of fat forcing axioms
This page was built for publication: Forcing consequences of $PFA$ together with the continuum large
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5264915)
