Generic absoluteness and Boolean names for elements of a Polish space

DOI10.1007/S40574-017-0124-2zbMATH Open1437.03149arXiv1607.06213OpenAlexW2962822672MaRDI QIDQ1680748FDOQ1680748

Authors: Andrea Vaccaro, Matteo Viale 

Publication date: 16 November 2017

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

Abstract: It is common knowledge in the set theory community that there exists a duality relating the commutative $C^{*}$-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)$.

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems
• Boolean-valued models of set theory with urelements
• On the duality between Boolean-valued analysis and reduction theory under the assumption of separability
• Title not available (Why is that?)
• 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)