End-extensions preserving power set

DOI10.2307/2274922MaRDI QIDQ3981458zbMATH OpenOpenAlexFDO

Authors Thomas Forster, Richard Kaye

Publication date 26 June 1992

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274922

zbMATH Keywords

consistencyend-extensionsmodels of set theoryNew Foundationsreflection

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Consistency and independence results (03E35)

Recommendations

• scientific article; zbMATH DE number 1302491
• Monotone inductive definitions and consistency of New Foundations
• scientific article; zbMATH DE number 1302488
• Automorphisms of models of set theory and extensions of NFU

Cites work

• A hierarchy of formulas in set theory
• scientific article; zbMATH DE number 3496162 (Why is no real title available?)
• Permutation Models in the Sense of Rieger-Bernays
• Persistent and invariant formulas relative to theories of higher order

Cited in

(7)

• Automorphisms of models of set theory and extensions of NFU
• End extending models of set theory via power admissible covers
• Non-well-foundedness of well-orderable power sets
• INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY
• On the relative strengths of fragments of collection
• The strength of Mac Lane set theory
• Largest initial segments pointwise fixed by automorphisms of models of set theory

This page was built for publication: End-extensions preserving power set

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