Permutations and Wellfoundedness: The True Meaning of the Bizarre Arithmetic of Quine's NF

Journal of Symbolic Logic 71 (1):227 - 240 (2006)

It is shown that, according to NF, many of the assertions of ordinal arithmetic involving the T-function which is peculiar to NF turn out to be equivalent to the truth-in-certain-permutation-models of assertions which have perfectly sensible ZF-style meanings, such as: the existence of wellfounded sets of great size or rank, or the nonexistence of small counterexamples to the wellfoundedness of ∈. Everything here holds also for NFU if the permutations are taken to fix all urelemente
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1140641171
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,305
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

Automorphisms of Models of Set Theory and Extensions of NFU.Zachiri McKenzie - 2015 - Annals of Pure and Applied Logic 166 (5):601-638.
On Hereditarily Small Sets in ZF.M. Randall Holmes - 2014 - Mathematical Logic Quarterly 60 (3):228-229.

Add more citations

Similar books and articles


Added to PP index

Total views
17 ( #521,557 of 2,280,245 )

Recent downloads (6 months)
1 ( #830,174 of 2,280,245 )

How can I increase my downloads?


My notes

Sign in to use this feature