Logic seminar - Ur Yaar, "A Toy Multiverse"

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.


Mon, 29/05/2017 - 14:00 to 16:00


Shprinzak 101