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
- 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?)
- 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
- 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)- Forcing with sequences of models of two types
- Hierarchies of forcing axioms II
- Two applications of finite side conditions at \(\omega _2\)
- ASPERÓ–MOTA ITERATION AND THE SIZE OF THE CONTINUUM
- Forcing with matrices of countable elementary submodels
- The P-ideal dichotomy, Martin's axiom and entangled sets
- Separating club-guessing principles in the presence of fat forcing axioms
- RETRACTED – MEASURING CLUB-SEQUENCES TOGETHER WITH THE CONTINUUM LARGE
- \(\text{PFA}(S)[S]\) for the masses
- Forcing axioms and the continuum hypothesis
- Forcing axioms and the continuum hypothesis. II: Transcending \(\omega _1\)-sequences of real numbers
- Parametrized Measuring and Club Guessing
- Adding many Baumgartner clubs
- scientific article; zbMATH DE number 7632459 (Why is no real title available?)
- A generalization of Martin's axiom
- On the consistency strength of the proper forcing axiom
- A fragment of Asperó-Mota's finitely proper forcing axiom and entangled sets of reals
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)
