Generic absoluteness and Boolean names for elements of a Polish space

DOI10.1007/S40574-017-0124-2zbMATH Open1437.03149OpenAlexW2962822672MaRDI 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^{\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)$.

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?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• 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)