Forcing consequences of $PFA$ together with the continuum large

DOI10.1090/S0002-9947-2015-06205-9zbMath1375.03061arXiv1203.1235OpenAlexW2033722268MaRDI QIDQ5264915

David Asperó, Miguel Angel Mota

Publication date: 20 July 2015

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.1235

zbMATH Keywords

PFAfinite support forcing iteration

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05) Generic absoluteness and forcing axioms (03E57)

Related Items (10)

Adding many Baumgartner clubs ⋮ Two applications of finite side conditions at \(\omega _2\) ⋮ A generalization of Martin's axiom ⋮ RETRACTED – MEASURING CLUB-SEQUENCES TOGETHER WITH THE CONTINUUM LARGE ⋮ ASPERÓ–MOTA ITERATION AND THE SIZE OF THE CONTINUUM ⋮ Forcing with matrices of countable elementary submodels ⋮ Separating club-guessing principles in the presence of fat forcing axioms ⋮ Parametrized Measuring and Club Guessing ⋮ A fragment of Asperó–Mota’s finitely proper forcing axiom and entangled sets of reals ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• More results in polychromatic Ramsey theory
• A generalization of Martin's axiom
• A five element basis for the uncountable linear orders
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Set theory. An introduction to independence proofs
• Proper forcing
• Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
• Forcing axioms and stationary sets
• On strong chains of uncountable functions
• The Souslin problem
• Forcing with sequences of models of two types
• Iterated Cohen extensions and Souslin's problem
• Aronszajn lines and the club filter
• Directed Sets and Cofinal Types
• Random Reals and Souslin Trees
• Adding a random or a Cohen real: topological consequences and the effect on Martin's axiom
• Independence results
• Set Theory
• Proper and Improper Forcing
• SET MAPPING REFLECTION

This page was built for publication: Forcing consequences of $PFA$ together with the continuum large