Loading...
Automorphisms of models of set theory and extensions of NFU
McKenzie, Zachiri
McKenzie, Zachiri
Advisors
Editors
Other Contributors
Affiliation
EPub Date
Publication Date
2015-01-05
Submitted Date
Collections
Files
Loading...
Article - VoR
Adobe PDF, 1.58 MB
Other Titles
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 modification of Quine's ‘New Foundations’ Set Theory that allows non-sets (urelements) 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 subsystems of set theory we separate the consistency strengths of these three extensions of NFU. More specifically, we show that NFU+AxCount proves the consistency of NFU+AxCount≤, and NFU+AxCount≤ proves the consistency of NFU+AxCount≥.
Citation
McKenzie, Z. (2015). Automorphisms of models of set theory and extensions of NFU. Annals of Pure and Applied Logic, 166(5), 601-638. https://doi.org/10.1016/j.apal.2014.12.002
Publisher
Elsevier
Journal
Annals of Pure and Applied Logic
Research Unit
DOI
10.1016/j.apal.2014.12.002
PubMed ID
PubMed Central ID
Type
Article
Language
en
Description
Series/Report no.
ISSN
0168-0072
EISSN
1873-2461
ISBN
ISMN
Gov't Doc
Test Link
Sponsors
This research was completed while the author was a Ph.D. student in the Department of Pure Mathematics and Mathematical Statistics at the University of Cambridge. The author's Ph.D. studies were supported the Cambridge Commonwealth Trust