Generic absoluteness

DOI10.1016/S0168-0072(00)00038-5zbMath0995.03034OpenAlexW4213343015MaRDI QIDQ5935983

Joan Bagaria, Sy-David Friedman

Publication date: 7 October 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(00)00038-5

zbMATH Keywords

absolutenessconsistency strengthlarge cardinals

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Related Items (9)

Proper forcing extensions and Solovay models ⋮ -definability at uncountable regular cardinals ⋮ Solovay models and forcing extensions ⋮ Generic Σ₃¹ absoluteness ⋮ Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals ⋮ EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE ⋮ Borel canonization of analytic sets with Borel sections ⋮ The stationarity of the collection of the locally regulars ⋮ Lightface $\Sigma^1_2$-indescribable cardinals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some exact equiconsistency results in set theory
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• Bounded forcing axioms as principles of generic absoluteness
• The consistency strength of projective absoluteness
• Some applications of Jensen's coding theorem
• Adding a closed unbounded set
• New $\Sigma ^1_3$ facts
• A characterization of Martin's axiom in terms of absoluteness
• The bounded proper forcing axiom
• Solovay models and forcing extensions

This page was built for publication: Generic absoluteness