Abstract
An idea attributable to Russell serves to extend Zermelo’s theory of systems of infinitely long propositions to infinitary relations. Specifically, relations over a given domain \({\mathfrak{D}}\) of individuals will now be identified with propositions over an auxiliary domain \({\mathfrak{D}^{\mathord{\ast}}}\) subsuming \({\mathfrak{D}}\). Three applications of the resulting theory of infinitary relations are presented. First, it is used to reconstruct Zermelo’s original theory of urelements and sets in a manner that achieves most, if not all, of his early aims. Second, the new account of infinitary relations makes possible a concise characterization of parametric definability with respect to a purely relational structure. Finally, based on his foundational philosophy of the primacy of the infinite, Zermelo rejected Gödel’s First Incompleteness Theorem; it is shown that the new theory of infinitary relations can be brought to bear, positively, in that connection as well.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Drake F. R.: Set Theory: An Introduction to Large Cardinals. North-Holland, Amsterdam (1974)
Ebbinghaus, H.-D., in cooperation with V. Peckhaus, Ernst Zermelo: An Approach to His Life and Work, Springer-Verlag, Berlin, 2007.
Ebbinghaus, H.-D., and A. Kanamori, (eds.), Ernst Zermelo: Collected Works Vol. 1: Set Theory, Miscellanea, Springer-Verlag, Berlin, 2010.
Feferman, S., J. Dawson, S. Kleene, G. Moore, R. Solovay, and J. van Heijenoort, (eds.), Kurt Gödel: Collected Works, Vol. 2: Publications 1938–1974, Oxford University Press, New York, 1990.
Felgner, U., Introductory note to 1908b, in Ebbinghaus and Kanamori [3], pp. 160–88.
Gödel, K., The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory, Annals of Mathematics Studies 3, Princeton University Press, Princeton, New Jersey, 1940. Reprinted in Feferman et al. [4], pp. 33–101.
Karp C.: Languages with Expressions of Infinite Length. North-Holland, Amsterdam (1964)
Lackey, D. (ed.): Bertrand Russell: Essays in Analysis. George Braziller, New York (1973)
Marker D.: Model Theory: An Introduction. Springer-Verlag, New York (2002)
Russell, B., On some difficulties in the theory of transfinite numbers and order types, Proceedings of the London Mathematical Society, second series, no. 4 (1906), 29–53. Reprinted in Lackey [8], pp. 135–64.
Skolem, T., Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre, Matematikerkongressen i Helsingfors den 4–7 Juli 1922, Den femte skandinaviska matematikerkongressen, Redogörelse (Akademiska Bokhandeln, Helsinki, 1923), 217–232. Appears, in English translation by S. Bauer-Mengelberg, in Van Heijenoort [14], pp. 291–301.
Tarski A., Givant S.: A Formalization of Set Theory without Variables. American Mathematical Society, Providence, Rhode Island (1987)
Taylor R. G.: Zermelo, reductionism, and the philosophy of mathematics. Notre Dame Journal of Formal Logic 34, 539–563 (1993)
van Heijenoort, J. (ed.): From Frege to Gödel: A Source Book in Mathematical Logic. Harvard University Press, Cambridge (1967)
Zermelo, E., Neuer Beweis für die Möglichkeit einer Wohlordnung, Mathematische Annalen 65:107–128, 1908. Appears, together with English translation by S. Bauer-Mengelberg, in Ebbinghaus and Kanamori [3], pp. 120–159. Page references are to [3].
Zermelo, E., Untersuchungen über die Grundlagen der Mengenlehre I, Mathematische Annalen 65:261–281, 1908. Appears, together with English translation by S. Bauer-Mengelberg, in Ebbinghaus and Kanamori [3], pp. 188–229. Page references are to [3].
Zermelo, E., Über den Begriff der Definitheit in der Axiomatik, Fundamenta mathematicæ 14:339–344, 1929. Appears, together with English translation by E. de Pellegrin, in Ebbinghaus and Kanamori [3], pp. 358–367. Page references are to [3].
Zermelo, E., Grenzzahlen und Mengenbereiche. Neue Untersuchungen über die Grundlagen der Mengenlehre, Fundamenta mathematicæ 16:29–47, 1930. Appears, together with English translation by E. de Pellegrin, in Ebbinghaus and Kanamori [3], pp. 400–431. Page references are to [3].
Zermelo, E., Über Stufen der Quantifikation und die Logik des Unendlichen, Jahresbericht der Deutschen Mathematiker-Vereinigung 41:85–88, 1932. Appears, together with English translation by E. de Pellegrin, in Ebbinghaus and Kanamori [3], pp. 542–549. Page references are to [3].
Zermelo, E., Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme, Fundamenta mathematicæ 25:136–146, 1935. Appears, together with English translation by E. de Pellegrin, in Ebbinghaus and Kanamori [3], pp. 582–599. Page references are to [3].
Zermelo, E., Letter to K. Gödel dated October 29, 1931, in Ebbinghaus and Kanamori [3], pp. 500–501. German original together with English translation by E. de Pellegrin.
Zermelo, E., Thesen über das Unendliche in der Mathematik (17. Juli 1921), in Ebbinghaus and Kanamori [3], pp. 306–307. German original together with English translation by E. de Pellegrin.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Taylor, R.G. A Theory of Infinitary Relations Extending Zermelo’s Theory of Infinitary Propositions. Stud Logica 104, 277–304 (2016). https://doi.org/10.1007/s11225-016-9660-5
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-016-9660-5