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)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


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

Add more references

Citations of this work BETA
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.

Monthly downloads

Added to index

2009-01-28

Total downloads

12 ( #369,867 of 2,153,857 )

Recent downloads (6 months)

1 ( #398,274 of 2,153,857 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums