Lightface \Sigma^1_2-indescribable cardinals

DOI10.1090/S0002-9939-06-08571-6zbMATH Open1107.03060MaRDI QIDQ3420106FDOQ3420106

Authors: David Schrittesser 

Publication date: 1 February 2007

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

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

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• The bounded proper forcing axiom
• Some exact equiconsistency results in set theory
• Generic absoluteness
• Solovay models and forcing extensions
• Bounded forcing axioms as principles of generic absoluteness
• Generic Σ₃¹ absoluteness
• Title not available (Why is that?)

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)