9 citations · 30 across the 23 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
math.LO2020★ 2 cited
Boolean valued models, presheaves, and étalé spaces
Moreno Pierobon, Matteo Viale
Boolean valued models for a signature are generalizations of -structures in which we allow the -relation symbols to be interpreted by boolea…
math.LO2020★ 1 cited
Tameness for set theory
Matteo Viale
The paper is a first of two and aims to show that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order…
math.LO2020★ 1 cited
Tameness for set theory
Matteo Viale
The paper is the second of two and shows that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order sig…