2017
May
29

# Logic seminar - Ur Yaar, "A Toy Multiverse"

2:00pm to 4:00pm

## Location:

Shprinzak 101

We will present briefly the "multiverse view" of set theory, advocated by Hamkins, that there are a multitude of set-theoretic universes, and not one background universe, and his proposed "Multiverse Axioms". We will then move on to present the main result of Gitman and Hamkins in their paper "A natural model of the multiverse axioms" - that the countable computably saturated models of ZFC form a "toy model" of the multiverse axioms.