# Tagged Questions

**0**

votes

**1**answer

96 views

### What “force” us to accept large cardinal axioms?

Large cardinal axioms are not provable using usual mathematical tools (developed in $\text{ZFC}$).
Their non-existence is consistent with axioms of usual mathematics.
It is provable that some of ...

**5**

votes

**0**answers

370 views

### Different approaches to the multiverse of sets

There are some different approaches to the multiverse of sets, in particular:
1) The approach by Woodin,
2) The approach by Sy Friedman, ...,
3) The approach by Hamkins.
I wonder to know if ...

**3**

votes

**0**answers

229 views

### A Question Regarding Boolean-valued Models

What were the intuitions motivating the creation (or discovery, if you will) of Boolean-valued models? I have searched for the Scott-Solovay paper on the subject, but to no avail. There also seems to ...

**1**

vote

**1**answer

188 views

### Mathematical analysis of Lewisian concepts, esp. natural properties

David Lewis was one of the great philosophers of our time. He was a genuine philosopher, his focus was on theoretical metaphysics. And he had something to say about mathematics. His last book - he ...

**3**

votes

**2**answers

2k views

### where can you find Grothendieck's “Recoltes et Semailles”?

Where can you find Grothendieck's "Recoltes et Semailles"?
Is it available anywhere?

**47**

votes

**3**answers

6k views

### Nelson's program to show inconsistency of ZF

At the end of the paper Division by three by Peter G. Doyle and John H. Conway, the authors say:
Not that we believe there really are any such things as infinite sets, or that the Zermelo-Fraenkel ...

**12**

votes

**3**answers

896 views

### Has there ever been a weaker Church-like thesis?

Background. The Church-Turing thesis, in one of its many equivalent formulations, states that the intuitively computable arithmetical functions are exactly those computed by Turing machines.
...