Automorphisms of models of set theory and extensions of NFU

DOI10.1016/J.APAL.2014.12.002MaRDI QIDQ2255737zbMATH OpenOpenAlexFDO

Authors Zachiri McKenzie

Publication date 18 February 2015

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1309.4631

zbMATH Keywords

`new foundations' with urelementsautomorphismsset theory

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Models of other mathematical theories (03C65) Other set-theoretic hypotheses and axioms (03E65) Nonclassical and second-order set theories (03E70)

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. $mathrmNFU$ is Ronald Jensen's modifcation of Quine's `New Foundations' set theory that allows non-sets into the domain of discourse. The axioms $mathrmAxCount$, $mathrm{AxCount}_{l}eq$ and $mathrm{AxCount}_{g}eq$ each extend $mathrmNFU$ 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 $mathrmNFU$. We show that $mathrmNFU+mathrmAxCount$ proves the consistency of $mathrmNFU+mathrm{AxCount}_{l}eq$, and $mathrmNFU+mathrm{AxCount}_{l}eq$ proves the consistency of $mathrmNFU+mathrm{AxCount}_{g}eq$.

Recommendations

• On NFU
• Automorphisms and constructions of models of set theory
• Strong axioms of infinity in NFU
• L'axiome de l'infini dans NFU
• On the strength of a weak variant of the axiom of counting

Cites work

• Cofinal Indiscernibles and some Applications to New Foundations
• End-extensions preserving power set
• Finite sets in Quine's new foundations
• From bounded arithmetic to second order arithmetic via automorphisms
• scientific article; zbMATH DE number 3425598 (Why is no real title available?)
• scientific article; zbMATH DE number 3506690 (Why is no real title available?)
• scientific article; zbMATH DE number 3627123 (Why is no real title available?)
• scientific article; zbMATH DE number 2144527 (Why is no real title available?)
• scientific article; zbMATH DE number 1450821 (Why is no real title available?)
• scientific article; zbMATH DE number 3279144 (Why is no real title available?)
• scientific article; zbMATH DE number 3377240 (Why is no real title available?)
• scientific article; zbMATH DE number 3385626 (Why is no real title available?)
• scientific article; zbMATH DE number 4187797 (Why is no real title available?)
• Mengeninduktion und Fundierungsaxiom
• Models of axiomatic theories admitting automorphisms
• On the consistency of a slight (?) modification of Quine's 'New Foundations'
• Permutation methods in NF and NFU
• Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF
• Strong axioms of infinity in NFU
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• The strength of Mac Lane set theory
• VII.—NEGATIVE TYPES

Cited in

(17)

• On NFU
• Strong axioms of infinity in NFU
• A Reduction of the NF consistency Problem
• Automorphisms and constructions of models of set theory
• scientific article; zbMATH DE number 3933065 (Why is no real title available?)
• End-extensions preserving power set
• Automorphisms moving all non-algebraic points and an application to NF
• scientific article; zbMATH DE number 2144527 (Why is no real title available?)
• INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY
• On the strength of a weak variant of the axiom of counting
• On the relative strengths of fragments of collection
• ALGEBRAIC NEW FOUNDATIONS
• From bounded arithmetic to second order arithmetic via automorphisms
• Largest initial segments pointwise fixed by automorphisms of models of set theory
• The usual model construction for NFU preserves information
• Boffa's construction and models for \textsf{NFU}
• Rank-initial embeddings of non-standard models of set theory

This page was built for publication: Automorphisms of models of set theory and extensions of NFU

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2255737)