Questions tagged [multiverse-of-sets]
The multiverse-of-sets tag has no usage guidance.
3
questions with no upvoted or accepted answers
15
votes
0
answers
1k
views
Toposophy vs Set theoretical multiverse philosophy
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 ...
7
votes
0
answers
368
views
Maps between forcing posets
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 ...
4
votes
0
answers
528
views
Omega logic, V = Ultimate L and hierarchy of laws collapse
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, ...