Generic absoluteness and Boolean names for elements of a Polish space

DOI10.1007/s40574-017-0124-2zbMath1437.03149arXiv1607.06213OpenAlexW2962822672MaRDI QIDQ1680748

Andrea Vaccaro, Matteo Viale

Publication date: 16 November 2017

Published in: Bollettino dell'Unione Matematica Italiana (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1607.06213

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Generic absoluteness and forcing axioms (03E57)

Related Items

Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems, Forcing the truth of a weak form of Schanuel's conjecture

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A general tool for consistency results related to I1
• A classification of type I \(AW^*\)-algebras and Boolean valued analysis
• Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Forcing the truth of a weak form of Schanuel's conjecture
• Rank-into-rank hypotheses and the failure of GCH
• Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms
• SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE
• Introduction to Boolean Algebras
• Abstract Theory of Abelian Operator Algebras: An Application of Forcing
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• Absoluteness via resurrection
• Set Theory
• Martin's maximum revisited