Questions tagged [multiverse-of-sets]

Johnstones classic topos theory book talks at some length in its introduction about how category theory/topos theory suggest that we view the 'universe' in which mathematics takes place as consisting ...

We all know that forcing can be seen (if you like things that way) as a category of sheaves over the poset of forcing conditions equipped with the double negation Grothendieck topology. As such it is ...

I would like to ask a question about the omega conjecture and its relationship with the V = Ultimate L axiom. In his lecture Prof. Hugh Woodin have stated that "Assuming the omega conjecture, ...