The Model Companion of ZF

DOI10.2307/2040569zbMath0276.02044OpenAlexW1963860562MaRDI QIDQ4401445

Joram Hirschfeld

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)

Related Items (2)

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

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