Combinatorial properties of classical forcing notions
From MaRDI portal
Abstract: We discuss the effect of adding a single real (for various forcing notions adding reals) on cardinal invariants associated with the continuum (like the unbounding or the dominating number or the cardinals related to measure and category on the real line). For random and Cohen forcing, this question was investigated by Cicho'n and Pawlikowski; for Hechler forcing, by Judah, Shelah and myself. We show here: (1) adding an eventually different or a localization real adjoins a Luzin set of size continuum and a mad family of size omega_1; (2) Laver and Mathias forcing collapse the dominating number to omega_1 --- consequences: (A) CON(d=omega_1 + unif(L) = unif (M) = kappa = 2^omega) for any regular uncountable kappa; (B) Two Laver or Mathias reals added iteratively always force CH (even diamond); (C) Sigma^1_4-Mathias-absoluteness implies the Sigma^1_3- Ramsey property; (3) Miller's rational perfect set forcing preserves the axiom MA(sigma-centered).
Recommendations
Cites work
- scientific article; zbMATH DE number 3884145 (Why is no real title available?)
- scientific article; zbMATH DE number 3865265 (Why is no real title available?)
- scientific article; zbMATH DE number 3891346 (Why is no real title available?)
- scientific article; zbMATH DE number 3652325 (Why is no real title available?)
- scientific article; zbMATH DE number 510783 (Why is no real title available?)
- scientific article; zbMATH DE number 3894002 (Why is no real title available?)
- Adding a random or a Cohen real: topological consequences and the effect on Martin's axiom
- Amoeba-absoluteness and projective measurability
- Closed measure zero sets
- Combinatorial aspects of measure and category
- Combinatorial properties of Hechler forcing
- Connections between different amoeba algebras
- Every analytic set is Ramsey
- Forcing the failure of CH by adding a real
- Happy families
- Larger Cardinals in Cichon's Diagram
- Mathias absoluteness and the Ramsey property
- More forcing notions imply diamond
- Multiple Forcing
- On ideals of subsets of the plane and on Cohen reals
- On the combinatorial principle P(c)
- Powers of Transitive Bases of Measure and Category
- Sacks forcing, Laver forcing, and Martin's axiom
- Sacks reals and Martin's axiom
- Selctive ultrafilters and homogeneity
- Set theory. An introduction to independence proofs
- Some Properties of Measure and Category
- The Cichoń diagram
- The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)
- The noncommutativity of random and generic extensions
- Towers on Trees
- Why Solovay real produces Cohen real
- \(\Delta^ 1_ 2\)-sets of reals
- Σ½-sets of reals
Cited in
(15)- Cardinal invariants of the continuum and combinatorics on uncountable cardinals
- Eventually different functions and inaccessible cardinals
- On Nicely Definable Forcing Notions
- Generic constructions of small sets of reals
- Combinatorial Set Theory
- Forcing with filters and complete combinatorics
- scientific article; zbMATH DE number 1107521 (Why is no real title available?)
- Mathias absoluteness and the Ramsey property
- Forcing an \(\omega_1\)-real without adding a real
- Combinatorics and forcing with distributive ideals
- Combinatorial properties of Hechler forcing
- Combinatorial Set Theory
- Changing cardinal characteristics without changing -sequences or cofinalities
- scientific article; zbMATH DE number 3884145 (Why is no real title available?)
- Adding eventually different reals
This page was built for publication: Combinatorial properties of classical forcing notions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1892933)
