Lightface $\Sigma^1_2$-indescribable cardinals

DOI10.1090/S0002-9939-06-08571-6zbMath1107.03060MaRDI QIDQ3420106

David Schrittesser

Publication date: 1 February 2007

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

zbMATH Keywords

forcing axiomsccc forcingindescribable cardinalsprinciples of generic absoluteness

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some exact equiconsistency results in set theory
• Bounded forcing axioms as principles of generic absoluteness
• The bounded proper forcing axiom
• Solovay models and forcing extensions
• Generic Σ₃¹ absoluteness
• Generic absoluteness

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