# Tag Info

Accepted

### What is the modal logic of outer multiverse?

I've noticed that recently you have asked a few questions about my work, and so let me thank you; you are kind to take an interest. This particular question can be seen as part of the subject of set-...
Accepted

### Are buttons really enough to bound validities by S4.2?

Unfortunately, the argument I had had in mind seems broken to me now, and I retract the claim. I wonder what of it can be salvaged? Let me explain what I had had in mind. The main idea was this: it ...

### A specific Model of ZFC

In a joint work with Mitchell, which is under preparation, we succeeded to give a full answer to Hamkins-Löwe question. Edit: The paper is ready. See On a Question of Hamkins and Löwe on the ...
• 30.7k

• 40.4k
Accepted

### Difference between provability and the existence of a proof?

First note this isn't a constructive logic, so it's wrong to think of "$X$" as "there is a proof of $X$". (Even in constructive logic I find that dubious.) Second note that if $X$ ...
• 122k