Automorphisms of models of set theory and extensions of NFU release_dgthjaijonfffnbdwns2glpu5q

by Zachiri McKenzie

Released as a article .



In this paper we exploit the structural properties of standard and non-standard models of set theory to produce models of set theory admitting automorphisms that are well-behaved along an initial segment of their ordinals. NFU is Ronald Jensen's modifcation of Quine's `New Foundations' set theory that allows non-sets into the domain of discourse. The axioms AxCount, AxCount_≤ and AxCount_≥ each extend NFU by placing restrictions on the cardinality of a finite set of singletons relative to the cardinality of its union. Using the results about automorphisms of models of set theory we separate the consistency strengths of these three extensions of NFU. We show that NFU + AxCount proves the consistency of NFU + AxCount_≤, and NFU + AxCount_≤ proves the consistency of NFU + AxCount_≥.
In text/plain format

Archived Files and Locations

application/pdf  368.1 kB
file_a6q6r7gtazh43geuwdimiktu7q (repository) (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2013-10-19
Version   v2
Language   en ?
arXiv  1309.4631v2
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: e20ea222-7161-49b0-ae10-a9a89471cc71