Generic absoluteness and Boolean names for elements of a Polish space

DOI10.1007/S40574-017-0124-2MaRDI QIDQ1680748zbMATH OpenOpenAlexFDO

Authors 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)

Abstract: It is common knowledge in the set theory community that there exists a duality relating the commutative $C^{\ast }$-algebras with the family of $B$-names for complex numbers in a boolean valued model for set theory $V^B$. Several aspects of this correlation have been considered in works of the late $1970$'s and early $1980$'s, for example by Takeuti, and by Jech. Generalizing Jech's results, we extend this duality so as to be able to describe the family of boolean names for elements of any given Polish space $Y$ (such as the complex numbers) in a boolean valued model for set theory $V^B$ as a space $C^{+}(X,Y)$ consisting of functions $f$ whose domain $X$ is the Stone space of $B$, and whose range is contained in $Y$ modulo a meager set. We also outline how this duality can be combined with generic absoluteness results in order to analyze, by means of forcing arguments, the theory of $C^{+}(X,Y)$.

Recommendations

• scientific article; zbMATH DE number 7217020
• scientific article; zbMATH DE number 218589
• The polyadic generalization of the Boolean axiomatization of fields of sets
• Polish G-spaces and continuous logic
• A universal Polish \(G\)-space
• Polish spaces, computable approximations, and bitopological spaces
• On universality of finite products of Polish spaces
• scientific article; zbMATH DE number 5064944
• scientific article; zbMATH DE number 1302486
• Generalized Polish spaces at regular uncountable cardinals

Cites work

• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 218608 (Why is no real title available?)
• scientific article; zbMATH DE number 2121504 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A classification of type I \(AW^*\)-algebras and Boolean valued analysis
• A general tool for consistency results related to I1
• Absoluteness via resurrection
• Abstract Theory of Abelian Operator Algebras: An Application of Forcing
• Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• Forcing the truth of a weak form of Schanuel's conjecture
• Introduction to Boolean Algebras
• Martin's maximum revisited
• Rank-into-rank hypotheses and the failure of GCH
• Set Theory
• Suitable extender models. II: Beyond \(\omega \)-huge
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• The axiom of determinacy, forcing axioms, and the nonstationary ideal

Cited in

(5)

• Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems
• On the duality between Boolean-valued analysis and reduction theory under the assumption of separability
• Boolean-valued models of set theory with urelements
• scientific article; zbMATH DE number 7217020 (Why is no real title available?)
• Forcing the truth of a weak form of Schanuel's conjecture

This page was built for publication: Generic absoluteness and Boolean names for elements of a Polish space

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