The multiverse-of-sets tag has no usage guidance.

**8**

votes

**2**answers

772 views

### Is platonism regarding arithmetic consistent with the multiverse view in set theory?

A "truth" platonist for arithmetic believes, given a statement in the language of arithmetic, that the problem whether the statement is true has a definite answer.
Prof. Hamkins has argued for a ...

**3**

votes

**3**answers

370 views

### The Set-Theoretic Multiverse and Joint Embeddings

I am curious whether or not the following axiom is independent of Hamkins's axioms for the Set-Theoretic Multiverse. Hamkins's axioms can be found here on pages 1-2 and here on pages 24-26.
Consider ...

**7**

votes

**2**answers

747 views

### Is the Mostowski collapse natural?

The Mostowski collapse lemma (see here for a quick ref) is one of the key basic tools in the set-theory arsenal. I wonder if the collapse is natural, in the functorial sense.
More precisely, is ...

**48**

votes

**3**answers

3k views

### Forcing as a new chapter of Galois Theory

There is a (very) long essay by Grothendieck with the ominous title La Longue Marche à travers la théorie de Galois (The Long March through Galois Theory). As usual, Grothendieck knew what he was ...

**8**

votes

**2**answers

488 views

### Does the class category of ZF-algebras satisfy the Multiverse axioms?

I read with interest both Hamkins Multiverse Axioms and Joyal and Moerdijk's algebraic set theory. Both of these perspectives takes a set-theory universe as an object, and consider collections of set-...

**10**

votes

**1**answer

1k views

### Set-theoretical multiverse and foundations

I just had a look to the article The set theoretical multiverse by (mo user) J.D.Hamkins. Not being a logician and not knowing forcing techniques, I couldn't fully appreciate the mathematical ideas, ...

**6**

votes

**0**answers

324 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 ...

**29**

votes

**3**answers

2k views

### The set-theoretic multiverse as a (bi)category

Joel Hamkin's The set-theoretic multiverse has featured in MO questions before, e.g., here and here. But I was wondering about the best category theoretic angle to take on it.
In the paper Joel ...

**17**

votes

**2**answers

2k views

### Universe view vs. Multiverse view of Set Theory

Here I refer to Hamkins' slides:
http://lumiere.ens.fr/~dbonnay/files/talks/hamkins.pdf
particularly, to the "Universe view simulated inside Multiverse", p. 22.
My question is: is it very unsound ...

**6**

votes

**2**answers

1k views

### Using the multiverse approach to decide the law of the exluded middle?

Recently, in response to deciding the Continuum Hypothesis $CH$, Hamkins and Gitman have proposed consider a multiverse of set-theoretic universes, some in which $CH$ is true, some in which $\neg CH$ ...