The model companion of $\textrm {ZF}$
HTML articles powered by AMS MathViewer
- by Joram Hirschfeld PDF
- Proc. Amer. Math. Soc. 50 (1975), 369-374 Request permission
Abstract:
We prove that the theory ZF has a model companion and we describe an axiom system for it.References
- Jon Barwise and Abraham Robinson, Completing theories by forcing, Ann. Math. Logic 2 (1970), no. 2, 119–142. MR 272613, DOI 10.1016/0003-4843(70)90008-2
- J. L. Bell and A. B. Slomson, Models and ultraproducts: An introduction, North-Holland Publishing Co., Amsterdam-London, 1969. MR 0269486
- Abraham Robinson, Infinite forcing in model theory, Proceedings of the Second Scandinavian Logic Symposium (Oslo, 1970), Studies in Logic and the Foundations of Mathematics, Vol. 63, North-Holland, Amsterdam, 1971, pp. 317–340. MR 0357106
Additional Information
- © Copyright 1975 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 50 (1975), 369-374
- MSC: Primary 02H05; Secondary 02H13, 02K15
- DOI: https://doi.org/10.1090/S0002-9939-1975-0376332-8
- MathSciNet review: 0376332