Automorphisms and constructions of models of set theory

MaRDI QIDQ3581791zbMATH OpenFDO

Authors Richard Kaye

Publication date 2 September 2010

zbMATH Keywords

automorphismsmodels of set theoryset-like permutationsstratified formula

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Recommendations

• Automorphisms of models of set theory and extensions of NFU
• On NFU
• Permutation Models in the Sense of Rieger-Bernays
• A permutation method yielding models of the stratified axioms of Zermelo Fraenkel set theory
• Permutation methods in NF and NFU

Cited in

(11)

• Infinitary definitions of equivalence relations in models of PA
• Automorphisms of models of set theory and extensions of NFU
• Permutations and stratified formulae a preservation theorem
• A permutation method yielding models of the stratified axioms of Zermelo Fraenkel set theory
• scientific article; zbMATH DE number 3933065 (Why is no real title available?)
• Model companions of theories with an automorphism
• scientific article; zbMATH DE number 2144527 (Why is no real title available?)
• scientific article; zbMATH DE number 2144534 (Why is no real title available?)
• Boolean‐Valued Models of Set Theory with Automorphisms
• Relating De Morgan triples with Atanassov's intuitionistic De Morgan triples via automorphisms
• Automorphisms of models of arithmetic: a unified view

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

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