Elementary epimorphisms between models of set theory

DOI10.1007/S00153-016-0492-9zbMath1432.03098OpenAlexW2409187922MaRDI QIDQ506971

Norman Lewis Perlmutter, Robert S. Lubarsky

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 limitsinner modelselementarity

Mathematics Subject Classification ID

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

Cites Work

• Infinite coforcing in model theory
• What is the theory without power set?
• Projective model completeness
• Elementary epimorphisms
• Unnamed Item

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