Solovay models and forcing extensions

DOI10.2178/jsl/1096901764zbMath1070.03031OpenAlexW2104913734WikidataQ56813229 ScholiaQ56813229MaRDI QIDQ5311750

Roger Bosch, Joan Bagaria

Publication date: 29 August 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1096901764

zbMATH Keywords

generic absolutenessSolovay modelequiconsistencydefinably-Mahlo cardinalspreservation under projective ccc forcing extensions

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35)

Related Items (7)

Proper forcing extensions and Solovay models ⋮ Forcing absoluteness and regularity properties ⋮ The stationarity of the collection of the locally regulars ⋮ Generic absoluteness ⋮ On coding uncountable sets by reals ⋮ Parameterized partition relations on the real numbers ⋮ Lightface $\Sigma^1_2$-indescribable cardinals

Cites Work

• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• Projective forcing
• A model of set-theory in which every set of reals is Lebesgue measurable
• Generic absoluteness

This page was built for publication: Solovay models and forcing extensions