“Mathematics is the Logic of the Infinite”: Zermelo’s Project of Infinitary Logic

Ajdukiewicz, K. 1928. Główne zasady metodologji nauk i logiki formalnej. (Authorized manuscript edited by Mojżesz Presburger), Warszawa: Wydawnictwa Koła Matematyczno-Fizycznego Słuchaczów Uniwersytetu Warszawskiego. Search in Google Scholar

Barwise, J. 1974. Axioms for abstract model theory, Annals of Mathematical Logic 7, 221–265.10.1016/0003-4843(74)90016-3 Search in Google Scholar

Barwise, J. 1975. Admissible Sets and Structures. An Approach to Definability Theory. Berlin Heidelberg New York: Springer Verlag.10.1007/978-3-662-11035-5_2 Search in Google Scholar

Barwise, J., Feferman, S. (Eds.) 1985. Model-theoretic Logics. New York Berlin Heidelberg Tokyo: Springer Verlag. Search in Google Scholar

Batóg, T. 2000. Dwa paradygmaty matematyki. Studium z dziejów i filozofii mate-matyki. Poznań: Wydawnictwo Naukowe UAM. Search in Google Scholar

Bell, J.L. 2016. Infinitary logic, Stanford Encyclopedia of Philosophy. Access on July 31, 2021: https://plato.stanford.edu/entries/logic-infinitary/ Search in Google Scholar

Benacerraf, P., Wright, C. 1985. Skolem and the Skeptic, Proceedings of the Aristotelian Society, Supplementary Volume 59, 85–137.10.1093/aristoteliansupp/59.1.85 Search in Google Scholar

Bays, T. 2000. Reflections on Skolem’s Paradox, PhD Thesis, UCLA. Search in Google Scholar

Buldt, B. 2002. Kompaktheit und Endlichkeit in der formalen Logik, in: B. Buldt u.a. (Hrsg.) Kurt Gödel. Wahrheit und Beweisbarkeit. Band 1: Dokumente und historische Analysen, Band 2: Kompendium zum Werk, Wien: öbv&hpt VerlagsgmbH & Co., 31–49. Search in Google Scholar

Carnap, R., Bachmann, F. 1936.Über Extremalaxiome. Erkenntnis 6, 166–188.10.1007/BF02538231 Search in Google Scholar

Dalen, D. van, Ebbinghaus, H.D. 2000. Zermelo and the Skolem Paradox, The Bulletin of Symbolic Logic 6 (2), 145–161.10.2307/421203 Search in Google Scholar

Dawson, J.W. 1985. Completing the Gödel–Zermelo correspondence, Historia Mathematica 12, 66–70.10.1016/0315-0860(85)90070-9 Search in Google Scholar

DeLong, H. 1970. A Profile of Mathematical Logic. Addison-Wesley Publishing Company. Search in Google Scholar

Dickmann, M.A. 1975. Large Infinitary Languages. Amsterdam: North Holland. Search in Google Scholar

Ebbinghaus, H.D. 2003. Zermelo: Definiteness and the universe of definable sets, History and Philosophy of Logic 24, 197–219.10.1080/0144534031000124134 Search in Google Scholar

Ebbinghaus, H.D. 2004. Zermelo in the mirror of the Baer correspondence 1930–1931, Historia Mathematica 31, 76–86.10.1016/j.hm.2003.08.002 Search in Google Scholar

Ebbinghaus, H.D. 2006. Zermelo: On boundary numbers and domains of sets continued, History and Philosophy of Logic 27, 285–306.10.1080/01445340600906268 Search in Google Scholar

Ebbinghaus, H.D. 2007 (in cooperation with Volker Peckhaus). Ernst Zermelo. An approach to his life and work. Springer-Verlag: Berlin and Heidelberg. Search in Google Scholar

Ebbinghaus, H.D., Fraser, C.G., Kanamori, A. 2010. Ernst Zermelo. Collected Works. Gesammelte Werke. Heidelberg Dordrecht London New York: Springer. Search in Google Scholar

Fraenkel, A. 1923². Einleitung in die Mengenlehre. Berlin: Springer-Verlag. Search in Google Scholar

Fraenkel, A., Bar Hillel, Y., Levy, A. 1973. Foundations of Set Theory. Amsterdam London: North Holland Publishing Company. Search in Google Scholar

George, A. 1985. Skolem and the Löwenheim-Skolem theorem: a case study of the philosophical significance of mathematical results, History and Philosophy of Logic 6, 75–89.10.1080/01445348508837077 Search in Google Scholar

Grattan-Guinness, I. 1979. In memoriam Kurt Gödel: his 1931 correspondence with Zermelo on his incompletability theorem, Historia Mathematica 6, 294–304.10.1016/0315-0860(79)90127-7 Search in Google Scholar

Hallet, M. 1984. Cantorian Set Theory and Limitation of Size. Oxford: Clarendon Press. Search in Google Scholar

Heijenoort, J. van, (Ed.) 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Cambridge, Mass.; London: Harvard University Press. Search in Google Scholar

Helmer, O. 1938. Languages with expressions of infinite length, Erkenntnis 8, 138–141.10.1007/BF00666517 Search in Google Scholar

Henkin, L. 1955. The representation theorem for cylindrical algebras. Mathematical Interpretation of Formal Systems. North Holland, 85–97.10.1016/S0049-237X(09)70305-2 Search in Google Scholar

Henkin, L. 1959. Some remarks on infinitely long formulas. Infinitistic Methods. Proceedings of the Symposium on Foundations of Mathematics. Warsaw, 2–9 September 1959. Oxford London New York Paris Pergamon Press; Warszawa: Państwowe Wydawnictwo Naukowe, 167–183. Search in Google Scholar

Hilbert, D. 1899. Grundlagen der Geometrie. Leipzig: B.G. Teubner. Search in Google Scholar

Hilbert, D., Bernays, P. 1934/1939. Grundlagen der Mathematik. Berlin: Springer. Search in Google Scholar

Hunter, G. 1971. Metalogic. An Introduction to the Metatheory of Standard First-order Logic. Berkeley: University of California Press. Search in Google Scholar

Jordan, P. 1949. Zur Axiomatik der Verknüpfungsbereiche, Abhand. Math. Sem. Hamburg. Univ. 16, 54–70.10.1007/BF02941086 Search in Google Scholar

Kanamori, A. 1996. The mathematical development of set theory from Cantor to Cohen, The Bulletin of Symbolic Logic 2 (1), 1–71.10.2307/421046 Search in Google Scholar

Kanamori, A. 2004. Zermelo and set theory. The Bulletin of Symbolic Logic 10 (4), 487–553.10.2178/bsl/1102083759 Search in Google Scholar

Karp, C. 1964. Languages with Expressions of Infinite Length. Amsterdam: North Holland. Search in Google Scholar

Keisler, H.J. 1971. Model Theory for Infinitary Logic. Amsterdam: North Holland. Search in Google Scholar

Keisler, H.J., Knight, J.L. 2004. Barwise: infinitary logic and admissible sets, The Bulletin of Symbolic Logic 10 (1), 4–36.10.2178/bsl/1080330272 Search in Google Scholar

Klenk, V. 1976. Intended models and the Löwenheim-Skolem theorem. Journal of Philosophical Logic 5, 475–489.10.1007/BF02109439 Search in Google Scholar

Krasner, M. 1938. Une généralisation de la notion de corps, Journal de Mathématiques Pures et Appliquées 9, 367–385. Search in Google Scholar

Kripke, S. 1964. Transfinite recursion on admissible ordinals, I, II (abstracts), Journal of Symbolic Logic 29, 161–162. Search in Google Scholar

Krynicki, M., Mostowski, M., Szczerba, L. (Eds.) 1995. Quantifiers, Logics, Models and Computation. Kluwer Academic Publishers.10.1007/978-94-017-0524-0 Search in Google Scholar

Kuratowski, K. 1937. Les types d’ordre définissables et les ensembles boreliens, Fundamenta Mathematicae 29, 97–100.10.4064/fm-29-1-97-100 Search in Google Scholar

Lewis, C.S. 1918. A Survey of Symbolic Logic. Berkeley: University of California. Search in Google Scholar

Lindenbaum, A., Tarski, A. 1936.Über die Beschränkheit der Ausdruckmittel deduktiver Theorien, Ergebnisse eines mathematischen Kolloquiums 7, 1934–1935, 15–22. Search in Google Scholar

Lindström, P. 1966. First order predicate logic with generalized quantifiers, Theoria 32, 186–195.10.1111/j.1755-2567.1966.tb00600.x Search in Google Scholar

Lindström, P. 1969. On extensions of elementary logic. Theoria 35, 1–11.10.1111/j.1755-2567.1969.tb00356.x Search in Google Scholar

Löwenheim, L. 1915.Über Möglichkeiten im Relativkalkül, Mathematische Annalen, 68, 169–207.10.1007/BF01474159 Search in Google Scholar

McCarthy, Ch., Tennant, N. 1987. Skolem’s Paradox and constructivism, Journal of Philosophical Logic 16, 165–202.10.1007/BF00257838 Search in Google Scholar

Moore, A.W. 1985. Set theory, Skolem’s Paradox and the Tractatus, Analysis 45, 13–20.10.1093/analys/45.1.13 Search in Google Scholar

Moore, G.H. 1980. Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory. History and Philosophy of Logic 1, 95–137.10.1080/01445348008837006 Search in Google Scholar

Moore, G.H. 1982. Zermelo’s Axiom of Choice. Its Origins, Development and Influence. New York Heidelberg Berlin: Springer-Verlag. Search in Google Scholar

Moore, G.H. 1995. The prehistory of infinitary logic: 1885–1955, in Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem (Eds.) Structures and norms in science. Volume two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995, Kluwer Academic Publishers, 105–123. Search in Google Scholar

Moore, G.H. 2002. Die Kontroverse zwischen Gödel und Zermelo, in B. Buldt u.a. (Hrsg.) Kurt Gödel. Wahrheit und Beweisbarkeit. Band 1: Dokumente und historische Analysen, Band 2: Kompendium zum Werk. öbv&hpt VerlagsgmbH & Co., Wien, 55–64. Search in Google Scholar

Mostowski, A. 1948. Logika matematyczna. Warszawa-Wrocław. Search in Google Scholar

Mostowski, A. 1957. On a generalization of quantifiers, Fundamenta Mathematicae 44, 12–36.10.4064/fm-44-1-12-36 Search in Google Scholar

Murawski, R. 2001². Filozofia matematyki. Zarys dziejów. Warszawa: Wydawnictwo Naukowe PWN. Search in Google Scholar

Murawski, R. 2002. Współczesna filozofia matematyki. Warszawa: Wydawnictwo Naukowe PWN. Search in Google Scholar

Murawski, R. 2003³. Filozofia matematyki. Antologia tekstów klasycznych. Poznań: Wydawnictwo Naukowe UAM. Search in Google Scholar

Myhill, J. 1951. On the ontological significance of the Löwenheim-Skolem theorem, in M. White (Ed.) Academic Freedom, Logic and Religion. The University of Pennsylvania Press, 57–70. Search in Google Scholar

Myhill, J. 1952. The hypothesis that all classes are nameable. Proc. Nat. Acad. Sci. USA 38, 979.10.1073/pnas.38.11.979 Search in Google Scholar

Neumann, J. von, 1925. Eine Axiomatisierung der Mengenlehre, Journal für die reine und angewandte Mathematik 154, 219–240.10.1515/crll.1925.154.219 Search in Google Scholar

Peckhaus, V. 1990. ‘Ich habe mich wohl gehütet, alle Patronen auf einmal zu verschießen’. Ernst Zermelo in Göttingen, History and Philosophy of Logic 11, 19–58.10.1080/01445349008837156 Search in Google Scholar

Peirce, C.S. 1885. On the algebra of logic: a contribution to the philosophy of notation. American Journal of Mathematics 7, 180–202.10.2307/2369451 Search in Google Scholar

Platek, R. 1966. Foundations of Recursion Theory. Doctoral Dissertation and Supplement, Stanford: Stanford University. Search in Google Scholar

Pogonowski, J. 2006. Projekt logiki infinitarnej Ernsta Zermela. Investigationes Linguisticae 14, 18–49.10.14746/il.2006.14.4 Search in Google Scholar

Pogonowski, J. 2019. Extremal axioms. Logical, mathematical and cognitive aspects. Poznań: Wydawnictwo Nauk Społecznych i Humanistycznych UAM. Search in Google Scholar

Putnam, H. 1980. Models and reality. Journal of Symbolic Logic 45, 464–482.10.2307/2273415 Search in Google Scholar

Quine, W.V.O. 1966. Ontological reduction and the world of numbers, in W.V.O. Quine The ways of paradox and other essays, New York: Random House, 199–207. Search in Google Scholar

Resnik, M. 1966. On Skolem’s Paradox. Journal of Philosophy, 63, 15,10.2307/2024063 Search in Google Scholar

Resnik, M. 1969. More on Skolem’s Paradox., Nous, 3, 185–196.10.2307/2216264 Search in Google Scholar

Robinson, A. 1951. On the Metamathematics of Algebra. Amsterdam: North Holland. Search in Google Scholar

Robinson, A. 1957. Applications to field Ttheory. Summaries of talks at the Summer Institute for Symbolic Logic in 1957 at Cornell University, 326–331. Search in Google Scholar

Schröder, E. 1895. Vorlesungenüber die Algebra der Logik. Vol. 3, Leipzig. Search in Google Scholar

Schröder, E. 1910. Abriss der Algebra der Logik Vol. 2, E. Müller (Ed.), Leipzig. Search in Google Scholar

Scott, D., Tarski, A. 1957. The sentential calculus with infinitely long expressions. Summaries of talks at the Summer Institute for Symbolic Logic in 1957 at Cornell University, 83–89. Search in Google Scholar

Scott, D., Tarski, A. 1958. The sentential calculus with infinitely long expressions, Colloquium Mathematicum 6, 166-170.10.4064/cm-6-1-165-170 Search in Google Scholar

Shapiro, S. (Ed.) 1996. The Limits of Logic: Higher-order Logic and the Löwenheim-Skolem Theorem. Aldershot: Dartmouth Publishing Company. Search in Google Scholar

Skolem, T. 1919. Untersuchungenüber die Axiome des Klassenkalkuls undüber Produktations- und Summationsprobleme, welche gewisse Klassen von Aussagen betreffen, Videnskapsselskapets skrifter, I. Matematisk-naturvedenskabelig klasse, no 3. Search in Google Scholar

Skolem, T. 1920. Logisch-kombinatorische Untersuchungenüber die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoremeüber dichte Mengen. Videnskappselskapets skrifter, I. Matematisk-naturvedenskabelig klasse, no 4. Search in Google Scholar

Skolem, T. 1922. Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre. Matematikerkongressen i Helsingfors den 4–7 Juni 1922, Den femte skandinaviska matematikerkongressen, Redogörelse, (Akademiska Bokhandeln, Helsinki, 1923). Search in Google Scholar

Skolem, T. 1930. Einige Bemerkungen zu der Abhandlung von E. Zermelo “Über die Definitheit in der Axiomatik”. Fundamenta Mathematicae 15, 337–341.10.4064/fm-15-1-337-341 Search in Google Scholar

Suszko, R. 1951. Canonic axiomatic systems. Studia Philosophica 4, 301–330. Search in Google Scholar

Tarski, A. 1933. Pojęcie prawdy w językach nauk dedukcyjnych. Warszawa: Towarzystwo Naukowe Warszawskie. Search in Google Scholar

Tarski, A. 1934. Z badań metodologicznych nad definiowalnością terminów, Przegląd Filozoficzny 37, 438–460. Search in Google Scholar

Tarski, A. 1986. What are logical notions? History and Philosophy of Logic 7, 143–154.10.1080/01445348608837096 Search in Google Scholar

Taylor, R.G. 1993. Zermelo, reductionism, and the philosophy of mathematics, Notre Dame Journal of Formal Logic 34 (4), 539–563.10.1305/ndjfl/1093633905 Search in Google Scholar

Taylor, R.G. 2002. Zermelo’s Cantorian theory of systems of infinitely long propositions, The Bulletin of Symbolic Logic 8 (4), 478–515.10.2178/bsl/1182353918 Search in Google Scholar

Thomas, W. 1971. On behalf of the Skolemite, Analysis 31, 177–186.10.1093/analys/31.6.177 Search in Google Scholar

Thomas, W. 1968. Platonism and the Skolem Paradox, Analysis 28, 193–196.10.1093/analys/28.6.193 Search in Google Scholar

Uzquiano, G. 1999. Models of second-order set theory, The Bulletin of Symbolic Logic 5, 289–302.10.2307/421182 Search in Google Scholar

Wang, H. 1955. On denumerable bases of formal systems. Mathematical Interpretation of Formal Systems. Amsterdam: North Holland Publishing Company, 57–84.10.1016/S0049-237X(09)70304-0 Search in Google Scholar

Wang, H. 1962. A Survey of Mathematical Logic. Peking: Science Press; Amsterdam: North Holland Publishing Company. Search in Google Scholar

Westerståhl, D. 1989. Quantifiers in formal and natural languages, in D. Gabbay, F. Guenthner (Eds.) Handbook of Philosophical Logic, vol. IV, D. Reidel Publishing Company, 1–131.10.1007/978-94-009-1171-0_1 Search in Google Scholar

Whitehead, A.N., Russell, B. 1910–1913. Principia Mathematica. Cambridge. Search in Google Scholar

Woleński, J. (Ed.) 1997. Filozofia logiki. Warszawa: Wydawnictwo Spacja — Fundacja Aletheia. Search in Google Scholar

Woleński, J. 2004. First-order logic: (philosophical) pro and contra, in V. Hendricks, F. Neuhaus, S.A. Pedersen, U. Scheffer, H. Wansing (Eds.) First-order Logic Revisited. Berlin: Logos, 369–398. Search in Google Scholar

Zermelo, E. 1902.Über die Addition transfiniter Cardinalzahlen, Nachrichten von der Königl. Gesellschaft der Wissenschaften zu Göttingen. Mathematischphysikalische Klasse aus dem Jahre 1901 34–38. Search in Google Scholar

Zermelo, E. 1904. Beweis daß jede Menge wohlgeordnet werden kann, Mathematische Annalen 59, 514–516.10.1007/BF01445300 Search in Google Scholar

Zermelo, E. 1908. Untersuchungenüber die Grundlagen der Mengenlehre I, Math-ematische Annalen 65, 261–281.10.1007/BF01449999 Search in Google Scholar

Zermelo, E. 1908a. Neuer Beweis für die Möglichkeit einer Wohlordnung, Mathematische Annalen 65, 107–128.10.1007/BF01450054 Search in Google Scholar

Zermelo, E. 1909. Sur les ensembles finis et le principe de l’induction complète, Acta mathematica 32, 185–193.10.1007/BF02403215 Search in Google Scholar

Zermelo, E. 1909a.Über die Grundlagen der Arithmetik, Atti del IV Congresso internazionale dei matematici (Roma, 6-11 Aprile 1908) 2, Rome: Accademia dei Lincei, 8–11. Search in Google Scholar

Zermelo, E. 1921. Thesenüber das Unendliche in der Mathematik. Nachlaß, published in Ebbinghaus, Fraser, Kanamori 2010, 306. Search in Google Scholar

Zermelo, E. 1929.Über den Begriff der Definitheit in der Axiomatik, Fundamenta Mathematicae 14, 339–344.10.4064/fm-14-1-339-344 Search in Google Scholar

Zermelo, E. 1929a. Vortrags-Themata für Warschau 1929. (Universität Warschau, 27. Mai – 8 Juni 1929). Nachlaß, published in Ebbinghaus, Fraser, Kanamori 2010, 374–389. Search in Google Scholar

Zermelo, E. 1930.Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre, Fundamenta Mathematicae 16, 29–47.10.4064/fm-16-1-29-47 Search in Google Scholar

Zermelo, E. 1930a.Über die logische Form der mathematischen Theorien, Annales de la société polonaise de mathématiques 9, 187. Search in Google Scholar

Zermelo, E. 1931. Bericht an die Notgemeinschaft der Deutschen Wissenschaftüber meine Forschungen betreffend die Grundlagen der Mathematik. Nachlaß, published in Ebbinghaus, Fraser, Kanamori 2010, 434–443. Search in Google Scholar

Zermelo, E. 1931a. Brief an Kurt Gödel vom 21. September 1931. Published in Ebbinghaus, H.D., Fraser, C.G., Kanamori, A. 2010, 486–489. Search in Google Scholar

Zermelo, E. 1931b. Brief an Kurt Gödel vom 29. Oktober 1931. Published in Ebbinghaus, Fraser, Kanamori 2010, 500.10.1007/978-3-540-79384-7_25 Search in Google Scholar

Zermelo, E. 1932.Über Stufen der Quantifikation und die Logik des Unendlichen, Jahresbericht der Deutschen Mathematiker-Vereinigung 41, 85–92. Search in Google Scholar

Zermelo, E. 1932a.Über mathematische Systeme und die Logik des Unendlichen Forschungen und Fortschritte 8, 6–7. Search in Google Scholar

Zermelo, E. 1935. Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme (Erste Mitteilung), Fundamenta Mathematicae 25, 135–146.10.4064/fm-25-1-136-146 Search in Google Scholar

Zermelo, E. 1937. Der Relativismus in der Mengenlehre und der sogenannte Skolem’sche Satz, Nachlaß, published in Ebbinghaus, Fraser, Kanamori 2010, 602–605. Search in Google Scholar