Automorphisms of models of set theory and extensions of NFU
release_dgthjaijonfffnbdwns2glpu5q
by
Zachiri McKenzie
2013
Abstract
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
|
arxiv.org (repository) web.archive.org (webarchive) |
1309.4631v2
access all versions, variants, and formats of this works (eg, pre-prints)