9 citations · 30 across the 23 of their papers we have counts for
Showing 2016 · math.LOShow all
2 papers · 2 filters
math.LO2016
Useful axioms
Matteo Viale
We give a brief survey on the interplay between forcing axioms and various other non-constructive principles widely used in many fields of abstract mathematics, such as the axiom o…
math.LO2016
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 -algebras with the family of -names for complex numbers in a boolean…