The Model Companion of ZF

DOI10.2307/2040569zbMATH Open0276.02044OpenAlexW1963860562MaRDI QIDQ4401445FDOQ4401445

Authors Yoram Hirshfeld 

Publication date 1975

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/4e368b460426d34b2e540f9fd3109c49a908cbfa

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30) Other classical first-order model theory (03C68)

Cited in

(2)

• Robinson forcing is not absolute
• Second order arithmetic as the model companion of set theory

This page was built for publication: The Model Companion of ZF

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