Elementary epimorphisms between models of set theory

DOI10.1007/S00153-016-0492-9MaRDI QIDQ506971zbMATH OpenOpenAlexFDO

Authors Robert S. Lubarsky, Norman Lewis Perlmutter

Publication date 2 February 2017

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-016-0492-9

zbMATH Keywords

forcinginverse limitselementarityinner models

Mathematics Subject Classification ID

Other aspects of forcing and Boolean-valued models (03E40) Models of arithmetic and set theory (03C62) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Elementary extensions of models of set theory
• On Certain Elementary Extensions of Models of Set Theory
• Elementary Extensions of Models of the Alternative Set Theory
• Properties of Elementary Embeddability in Model Theory
• Minimal elementary extensions of models of set theory and arithmetic
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• scientific article; zbMATH DE number 4043825
• scientific article; zbMATH DE number 3316902
• INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY
• Some elementary results in intuitionistic model theory

Cites work

• scientific article; zbMATH DE number 5130968 (Why is no real title available?)
• Elementary epimorphisms
• Infinite coforcing in model theory
• Projective model completeness
• What is the theory ZFC without power set?

Cited in

(2)

• Elementary epimorphisms
• Minimal elementary extensions of models of set theory and arithmetic

This page was built for publication: Elementary epimorphisms between models of set theory

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