End-extensions preserving power set

DOI10.2307/2274922zbMath0737.03026OpenAlexW1977804611MaRDI QIDQ3981458

Thomas Forster, Richard W. 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

consistencyreflectionNew Foundationsmodels of set theoryend-extensions

Mathematics Subject Classification ID

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

Related Items

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

Cites Work

• Unnamed Item
• Permutation Models in the Sense of Rieger-Bernays
• A hierarchy of formulas in set theory
• Persistent and invariant formulas relative to theories of higher order