Lightface \Sigma^1_2-indescribable cardinals

DOI10.1090/S0002-9939-06-08571-6MaRDI QIDQ3420106zbMATH OpenFDO

Authors David Schrittesser

Publication date 1 February 2007

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

Full work available at URL https://doi.org/10.1090/S0002-9939-06-08571-6

zbMATH Keywords

ccc forcingforcing axiomsindescribable cardinalsprinciples of generic absoluteness

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65)

Recommendations

• Indescribable cardinals and elementary embeddings
• Generic absoluteness under projective forcing
• A characterization of Martin's axiom in terms of absoluteness
• Proper forcing extensions and Solovay models
• The indescribability of the order of the indescribable cardinals

Cites work

• Bounded forcing axioms as principles of generic absoluteness
• Generic absoluteness
• Generic Σ₃¹ absoluteness
• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• scientific article; zbMATH DE number 5064944 (Why is no real title available?)
• Solovay models and forcing extensions
• Some exact equiconsistency results in set theory
• The bounded proper forcing axiom

Cited in

(1)

• Lightface $\Sigma^1_2$-indescribable cardinals

This page was built for publication: Lightface $\Sigma^1_2$-indescribable cardinals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3420106)