Generic absoluteness and boolean names for elements of a Polish space
Abstract
It is common knowledge in the set theory community that there exists a duality relating the commutative -algebras with the family of -names for complex numbers in a boolean valued model for set theory . Several aspects of this correlation have been considered in works of the late 's and early '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 (such as the complex numbers) in a boolean valued model for set theory as a space consisting of functions whose domain is the Stone space of , and whose range is contained in 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 .
Cite
@article{arxiv.1607.06213,
title = {Generic absoluteness and boolean names for elements of a Polish space},
author = {Andrea Vaccaro and Matteo Viale},
journal= {arXiv preprint arXiv:1607.06213},
year = {2016}
}
Comments
27 pages