Automorphisms moving all non-algebraic points and an application to NF

Journal of Symbolic Logic 63 (3):815-830 (1998)
Abstract
Section 1 is devoted to the study of countable recursively saturated models with an automorphism moving every non-algebraic point. We show that every countable theory has such a model and exhibit necessary and sufficient conditions for the existence of automorphisms moving all non-algebraic points. Furthermore we show that there are many complete theories with the property that every countable recursively saturated model has such an automorphism. In Section 2 we apply our main theorem from Section 1 to models of Quine's set theory New Foundations (NF) to answer an old consistency question. If NF is consistent, then it has a model in which the standard natural numbers are a definable subclass N of the model's set of internal natural numbers Nn. In addition, in this model the class of wellfounded sets is exactly $\bigcup_{n\in \mathbb{N}}\mathscr{P}^n(\varnothing)$
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586714
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,798
Through your library
References found in this work BETA

Add more references

Citations of this work BETA
Iterated Ultrapowers for the Masses.Ali Enayat, Matt Kaufmann & Zachiri McKenzie - forthcoming - Archive for Mathematical Logic:1-20.
Automorphisms of Models of Arithmetic: A Unified View.Ali Enayat - 2007 - Annals of Pure and Applied Logic 145 (1):16-36.

Add more citations

Similar books and articles
A Silver-Like Perfect Set Theorem with an Application to Borel Model Theory.Joël Combase - 2011 - Notre Dame Journal of Formal Logic 52 (4):415-429.
Automorphisms of Countable Short Recursively Saturated Models of PA.Erez Shochat - 2008 - Notre Dame Journal of Formal Logic 49 (4):345-360.
Automorphisms of Countable Recursively Saturated Models of PA: A Survey.Henryk Kotlarski - 1995 - Notre Dame Journal of Formal Logic 36 (4):505-518.
Added to PP index
2009-01-28

Total downloads
12 ( #389,602 of 2,202,423 )

Recent downloads (6 months)
1 ( #300,203 of 2,202,423 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature