Publication:4247802
From MaRDI portal
zbMath0922.03067MaRDI QIDQ4247802
Publication date: 11 October 1999
Martin's axiom; forcing axioms; forcing extensions; transitive model; \(\Sigma^1_n\)-absoluteness; Suslin ccc posets
03E15: Descriptive set theory
03E55: Large cardinals
03E50: Continuum hypothesis and Martin's axiom
03E40: Other aspects of forcing and Boolean-valued models