Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Condensed Sets and the Solovay Model
Nathaniel Bannister, Dianthe Basak
We exhibit a geometric morphism from the Grothendieck topos representing the Solovay model to the -pyknotic sets of Barwick--Haine and Clausen--Scholze. We then use the propert…
math.LO2024
Monoidal Symmetric Models
Dianthe Basak
We develop a new method of interpreting large cardinal axioms as giving rise to topological symmetries of the universe of sets, similar to the construction of Fraenkel-Mostowski-Sp…