Generic absoluteness and boolean names for elements of a Polish space

Andrea Vaccaro, Matteo Viale

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…