Über Endlich‐Axiomatisierbare Teilsysteme der Zermelo‐Fraenkelschen Mengenlehre
- 1 January 1968
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 14 (1-5) , 39-58
- https://doi.org/10.1002/malq.19680140103
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Two Contributions to the Foundations of Set TheoryPublished by Elsevier ,1966
- The irreducibility of impredicative principlesMathematische Annalen, 1952
- Truth Definitions and Consistency ProofsTransactions of the American Mathematical Society, 1952
- Models of axiomatic systemsFundamenta Mathematicae, 1952
- Truth definitions and consistency proofsTransactions of the American Mathematical Society, 1952