Questions tagged [new-foundations]

New Foundations is the axiomatic set theory in Quine's 1937 article "New Foundations for Mathematical Logic"; it simplifies the theory of types of Principia Mathematica.

Filter by
Sorted by
Tagged with
3
votes
1answer
247 views

NF and incompleteness

Are there any well-known statements independent of NF? And also, are there prerequisites suggesting that NF in any way, to one extent or another, are not covered by the incompleteness theorem?
0
votes
0answers
47 views

Can NFU alone prove N to be Cantorian?

Its known that NFU + infinity proves that the set $N$ of all Frege naturals is Cantorian [see here] Question: Can the same result be proved in NFU alone?
0
votes
0answers
29 views

In ML is every genuine $T^n|V|$ cardinal uncountable and bigger than the cardinality of any well founded set?

Define recursively: $\{x\}^\emptyset = x$ $\{x\}^{n+1} = \{\{x\}^n\}$ Define: $\forall n \in N: T^n|V|= | \{ \{x\}^n : x \in V \} |$ Define: $\forall n \in N: Genuine (n) \equiv_{df} \\ \{\{x\}^n: x \...
2
votes
0answers
207 views

Can we have the well founded world of NF obeying ZF?

The following question is about the possibility of having a world of sets obeying new foundations "NF" with their well founded sets obeying rules of ZF. It uses the revised version of Quines ...
0
votes
0answers
105 views

What known paradoxes are associated with having a type-level tuple indexed by all ordinal numbers?

By type-level function it is meant a function that is definable by a stratified formula that assigns to its graph the same type it assigns to each element of its domain and to each element of its ...
0
votes
1answer
368 views

Can Godel's incompleteness theorems be in some sense circumvented this way?

New foundations "NF" (formulated in the language of $\small \sf FOL(\in)$), can define a kind of ordered pair relation $``\rho"$ such that we can have a set $E$ of those pairs where NF proves the ...
0
votes
1answer
214 views

Is Cantor-Bernstein-Schroeder theorem for skew cardinality, consistent with NF?

Define: $n$-skew pair of $x,y$, denoted by $\langle x,y \rangle^n$, as: $(singleton^n(x), y)$ Define: $(-n)$-skew pair of $x,y$, denoted by $\langle x,y \rangle^{-n}$, as: $(x, singleton^n(y))$ ...
0
votes
0answers
36 views

Can we have a stratified theory equivalent to NFU + Infinity + choice with atmost failure of Extensionality?

It is known in NFU + Infinity + Choice, that we can partition the set $U$ of all Ur-elements (empty objects other than the empty set) such that each piece is as big as the set $V$ of all objects, and ...
0
votes
1answer
99 views

Can removal of extensionality avoid cardinality errors in stratified theories?

Let $SF$ be the schema of stratified comprehension. Take the theory $SF + Infinity + Choice + \text {Extensionality fails everywhere}$. Are the following consistent with this theory? $\forall X (|...
0
votes
1answer
61 views

Can global failure of Extensionality in fragments of NFU permit existence of singleton relation set?

Let $SF$ be the schema of stratified comprehension. Take the theory $SF + Infinity + Choice + \text {Extensionality fails everywhere}$ Is the following consistent with this theory? $\exists \iota \...
1
vote
0answers
150 views

Is this fragment of NF known to be consistent?

The following theory is a fragment of $\small \sf NF$. My question is about if it is known to be consistent without assuming the consistency of $\small\sf NF$. The language is of first order logic ...
0
votes
0answers
334 views

Is there a known shorter axiomatization of NF than this?

Is there an already known axiomtization of $NF$ that is shorter than the following axiomatic system in first order logic with equality $``="$ and membership $``\in"$? And what is exactly meant by ...
2
votes
1answer
464 views

Is there anything against this function j being injective?

Language (first order logic with equality "$=$" and membership "$\in$", and constant symbol "$j$") Axiom: ID axioms + There exists a set $A$, such that: Field: $\forall x \in j \ \exists a \in A \ \...
1
vote
0answers
36 views

What is the proof in NFU+|Ur|>|Set| of having less sets of sets than sets of Ur-elements?

Working in $\text{NFU}$, let $Ur$ be the set of all empty objects except a specific empty object $\emptyset$ that stands as the empty set, let $Set$ be the set of all non empty objects and $\emptyset$....
5
votes
1answer
339 views

Intersection of iterated powerset in NFU

I am interested in the existence of the set $\bigcap_{n \in \mathbb{N}} \mathcal{P}^n(x)$ for any given set $x$, in the context of NFU (New Foundations with Urelements). It seems to me that the ...
5
votes
1answer
276 views

What drawbacks are there to using NF(U) for category theory?

In category theory, you often run into what is known as "size" issues. That is, you run into the issue that the categories you try to define are too "big" to be sets, and so you need to use classes or ...
19
votes
1answer
1k views

Can you have a type theory where there is type of all types?

Normally in a type theory, you can not have a type of all types, due to Girad's paradox. This is somewhat similar to how in set theory, you cannot have a set of all sets. Therefore, usually you just ...
5
votes
2answers
415 views

Anti-foundational set theory with a universal set

There are alternative set theories that allow for a universal set, e.g. NF(U), positive set theory and and topological set theory. There are also alternative set theories like ZFA that allow for the ...
4
votes
0answers
438 views

New foundation in homotopy type theory

Is there any model of NF (New Foundations) on HoTT (homotopy type theory)? Because there is a model of ZF(C) on HoTT (The HoTT book, Section 10.5) and NF on ZFC (by this Wikipedia articile), I think ...
12
votes
0answers
475 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 ...
1
vote
0answers
248 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 ‎...
13
votes
3answers
1k 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
2answers
469 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
4answers
486 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
2answers
594 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$ ...
17
votes
7answers
2k 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
1answer
649 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
1answer
399 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
0answers
407 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 ...
20
votes
5answers
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
2answers
536 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 ...