**-2**

votes

**0**answers

180 views

### About consistency of New foundations

Add a one place function symbol $F$ to the first order language of set theory. Define $T$ as follows:
$T = Z + \forall n,m (F(n)=F(m) \iff\ n=m) + \exists V:$
$\forall S ((\forall y \in S \exists a,...

**11**

votes

**0**answers

318 views

### Large cardinals arising from alternate set theories

My question is whether there are model-theoretic large cardinal axioms associated with $NFU$ - or more generally, with set theories other than $ZFC$.
Large cardinal properties generally come in one ...

**3**

votes

**2**answers

552 views

### Are descriptive and ontological notions of equality equal? [closed]

Let $a$ and $b$ are two "objects". What is the meaning of $a=b$? This is one of the deepest problems of philosophy and logic because one needs a complete information about "...

**1**

vote

**0**answers

189 views

### Is there a non-trivial consistency preserving transformation?

In set theory "equiconsistency" (and not "consistency") of the theories is the main part of researches. So we usually try to construct a new model using a given one. In the ...

**12**

votes

**3**answers

865 views

### Where is the end of universe?

In some sense the empty set ($\emptyset$) and the global set of all sets ($G$) are the ends of the universe of mathematical objects. The world which $ZFC$ describes has an end from the bottom and is ...

**8**

votes

**2**answers

399 views

### Definitions of ordinal besides von Neumann & Frege-Russel?

So my Google-fu didn't show any references on this. I'm studying an obscure set theory (ML, a variation on NF with proper classes) and it seems to not deal well with the standard definitions of ...

**0**

votes

**4**answers

444 views

### Consistency of the concept of the collection of all collection

By Russel's paradox, we know that the concept of the set of all sets is inconsistent. Similarly, if classes have only sets as members, the concept of the class of all classes is inconsistent because ...

**10**

votes

**2**answers

481 views

### Constructible models of New Foundations?

Hi all! Is there anything like Gödel's constructible universe for New Foundations?
More precisely, I would like a process for taking a model $M$ of NF, and using it to build a model $L \subseteq M$ ...

**13**

votes

**6**answers

1k views

### Understanding Specker's disproof of the axiom of choice in New Foundations

Hi all! I am trying to understand Specker (1953)'s proof (found here) that the axiom of choice is false in New Foundations. I am stuck on the following point. At 3.5 Specker writes:
3.5. The cardinal ...

**8**

votes

**1**answer

494 views

### A question about Quine's set theory NF.

This question might not really be considered appropriate for mathoverflow.net but
I'll risk asking it and apologize in advance if I have commited a booboo. It is often
said that in NF one can prove ...

**5**

votes

**1**answer

347 views

### In search of a set theory with specific properties

I'm in search of a set theory that satisfies the following requirements.
There is a universal set $V$ such that $\forall x(x \in V)$. So for example, $V \in V$.
Sets whose elements are 'large' exist....

**3**

votes

**0**answers

354 views

### New Foundations and weaker forms of choice

New Foundations (introduced by Quine) proves that $AC$ is false. Out of curiosity, is $NF$ consistent with countable choice or dependent choice? What's the strongest consequence of choice still ...

**16**

votes

**5**answers

3k views

### How much of ZFC does Quine's New Foundations prove?

Main Question: Does anyone know of a reference that can tell me which axioms of ZFC Quine's New Foundations prove, disprove, and leave undecided?
Secondary Question: I've read that diagonal ...

**0**

votes

**2**answers

496 views

### Limiting set theory using symmetry

[Cross-posted from here]
If my understanding is correct, naive set theory needs to be restricted in order to avoid paradoxes including the Russell paradox. Typically, the restriction is expressed in ...