Hostname: page-component-77c89778f8-vsgnj Total loading time: 0 Render date: 2024-07-16T12:55:43.484Z Has data issue: false hasContentIssue false
  • English
  • Français

A completeness theorem for Zermelo-Fraenkel set theory

Published online by Cambridge University Press:  12 March 2014

William C. Powell
William C. Powell*
Affiliation:
Katholieke Universiteit, Numegen, Holland
Get access Rights & Permissions [Opens in a new window]

Extract

We provide a semantics for Zermelo-Fraenkel set theory. The semantics was essentially given by W. Ackermann [1], and the proof of completeness follows from a lemma of Levy [4]. Furthermore, a close relationship between Ackermann's set theory and Zermelo-Fraenkel set theory has been established by Levy [4] and Reinhardt [6]. Thus, any interest in this paper must consist solely in the explicit formulation of the completeness result and the consequential evidence of the fundamental character of Ackermann's principle and the ad hoc character of the full law of excluded middle and the strong transitivity of Ackermann's unary relation

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 41 , Issue 2 , June 1976 , pp. 323 - 327
Copyright
Copyright © Association for Symbolic Logic 1976

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Ackermann, W., Zur Axiomatik der Mengenlehre, Mathematische Annalen, vol. 131 (1956), pp. 336–345.CrossRefGoogle Scholar
[2] Kreisel, G., Zentralblatt für Mathematik, vol. 255 (1973), pp. 11–12.Google Scholar
[3] Kripke, S., Semantical analysis of intuitionistic logic. I, Formal systems and recursive functions (Crossley, J. N. and Dummett, M. A. E., Editors), North-Holland, Amsterdam, 1965, pp. 92–130.CrossRefGoogle Scholar
[4] Levy, A., On Ackermann's set theory, this Journal, vol. 24 (1959), pp. 156–166.Google Scholar
[5] Pozsgay, L., Liberal intuitionism as a basis for set theory, Proceedings of Symposia in Pure Mathematics, vol. 13, Part I, Providence, R.I., 1971, pp. 321–330.Google Scholar
[6] Reinhardt, W., Ackermann's set theory equals ZF, Annals of Mathematical Logic, vol. 2 (1970), pp. 189–249.CrossRefGoogle Scholar
[7] Schoenfield, J., Mathematical logic, Addison-Wesley, Reading, Massachusetts, 1967.Google Scholar