References
- 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.
- Barwise, J. 1974. Axioms for abstract model theory, Annals of Mathematical Logic 7, 221–265.
- Barwise, J. 1975. Admissible Sets and Structures. An Approach to Definability Theory. Berlin Heidelberg New York: Springer Verlag.
- Barwise, J., Feferman, S. (Eds.) 1985. Model-theoretic Logics. New York Berlin Heidelberg Tokyo: Springer Verlag.
- Batóg, T. 2000. Dwa paradygmaty matematyki. Studium z dziejów i filozofii mate-matyki. Poznań: Wydawnictwo Naukowe UAM.
- Bell, J.L. 2016. Infinitary logic, Stanford Encyclopedia of Philosophy. Access on July 31, 2021: https://plato.stanford.edu/entries/logic-infinitary/
- Benacerraf, P., Wright, C. 1985. Skolem and the Skeptic, Proceedings of the Aristotelian Society, Supplementary Volume 59, 85–137.
- Bays, T. 2000. Reflections on Skolem’s Paradox, PhD Thesis, UCLA.
- 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.
- Carnap, R., Bachmann, F. 1936.Über Extremalaxiome. Erkenntnis 6, 166–188.
- Dalen, D. van, Ebbinghaus, H.D. 2000. Zermelo and the Skolem Paradox, The Bulletin of Symbolic Logic 6 (2), 145–161.
- Dawson, J.W. 1985. Completing the Gödel–Zermelo correspondence, Historia Mathematica 12, 66–70.
- DeLong, H. 1970. A Profile of Mathematical Logic. Addison-Wesley Publishing Company.
- Dickmann, M.A. 1975. Large Infinitary Languages. Amsterdam: North Holland.
- Ebbinghaus, H.D. 2003. Zermelo: Definiteness and the universe of definable sets, History and Philosophy of Logic 24, 197–219.
- Ebbinghaus, H.D. 2004. Zermelo in the mirror of the Baer correspondence 1930–1931, Historia Mathematica 31, 76–86.
- Ebbinghaus, H.D. 2006. Zermelo: On boundary numbers and domains of sets continued, History and Philosophy of Logic 27, 285–306.
- Ebbinghaus, H.D. 2007 (in cooperation with Volker Peckhaus). Ernst Zermelo. An approach to his life and work. Springer-Verlag: Berlin and Heidelberg.
- Ebbinghaus, H.D., Fraser, C.G., Kanamori, A. 2010. Ernst Zermelo. Collected Works. Gesammelte Werke. Heidelberg Dordrecht London New York: Springer.
- Fraenkel, A. 19232. Einleitung in die Mengenlehre. Berlin: Springer-Verlag.
- Fraenkel, A., Bar Hillel, Y., Levy, A. 1973. Foundations of Set Theory. Amsterdam London: North Holland Publishing Company.
- 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.
- Grattan-Guinness, I. 1979. In memoriam Kurt Gödel: his 1931 correspondence with Zermelo on his incompletability theorem, Historia Mathematica 6, 294–304.
- Hallet, M. 1984. Cantorian Set Theory and Limitation of Size. Oxford: Clarendon Press.
- Heijenoort, J. van, (Ed.) 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Cambridge, Mass.; London: Harvard University Press.
- Helmer, O. 1938. Languages with expressions of infinite length, Erkenntnis 8, 138–141.
- Henkin, L. 1955. The representation theorem for cylindrical algebras. Mathematical Interpretation of Formal Systems. North Holland, 85–97.
- 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.
- Hilbert, D. 1899. Grundlagen der Geometrie. Leipzig: B.G. Teubner.
- Hilbert, D., Bernays, P. 1934/1939. Grundlagen der Mathematik. Berlin: Springer.
- Hunter, G. 1971. Metalogic. An Introduction to the Metatheory of Standard First-order Logic. Berkeley: University of California Press.
- Jordan, P. 1949. Zur Axiomatik der Verknüpfungsbereiche, Abhand. Math. Sem. Hamburg. Univ. 16, 54–70.
- Kanamori, A. 1996. The mathematical development of set theory from Cantor to Cohen, The Bulletin of Symbolic Logic 2 (1), 1–71.
- Kanamori, A. 2004. Zermelo and set theory. The Bulletin of Symbolic Logic 10 (4), 487–553.
- Karp, C. 1964. Languages with Expressions of Infinite Length. Amsterdam: North Holland.
- Keisler, H.J. 1971. Model Theory for Infinitary Logic. Amsterdam: North Holland.
- Keisler, H.J., Knight, J.L. 2004. Barwise: infinitary logic and admissible sets, The Bulletin of Symbolic Logic 10 (1), 4–36.
- Klenk, V. 1976. Intended models and the Löwenheim-Skolem theorem. Journal of Philosophical Logic 5, 475–489.
- Krasner, M. 1938. Une généralisation de la notion de corps, Journal de Mathématiques Pures et Appliquées 9, 367–385.
- Kripke, S. 1964. Transfinite recursion on admissible ordinals, I, II (abstracts), Journal of Symbolic Logic 29, 161–162.
- Krynicki, M., Mostowski, M., Szczerba, L. (Eds.) 1995. Quantifiers, Logics, Models and Computation. Kluwer Academic Publishers.
- Kuratowski, K. 1937. Les types d’ordre définissables et les ensembles boreliens, Fundamenta Mathematicae 29, 97–100.
- Lewis, C.S. 1918. A Survey of Symbolic Logic. Berkeley: University of California.
- Lindenbaum, A., Tarski, A. 1936.Über die Beschränkheit der Ausdruckmittel deduktiver Theorien, Ergebnisse eines mathematischen Kolloquiums 7, 1934–1935, 15–22.
- Lindström, P. 1966. First order predicate logic with generalized quantifiers, Theoria 32, 186–195.
- Lindström, P. 1969. On extensions of elementary logic. Theoria 35, 1–11.
- Löwenheim, L. 1915.Über Möglichkeiten im Relativkalkül, Mathematische Annalen, 68, 169–207.
- McCarthy, Ch., Tennant, N. 1987. Skolem’s Paradox and constructivism, Journal of Philosophical Logic 16, 165–202.
- Moore, A.W. 1985. Set theory, Skolem’s Paradox and the Tractatus, Analysis 45, 13–20.
- 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.
- Moore, G.H. 1982. Zermelo’s Axiom of Choice. Its Origins, Development and Influence. New York Heidelberg Berlin: Springer-Verlag.
- 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.
- 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.
- Mostowski, A. 1948. Logika matematyczna. Warszawa-Wrocław.
- Mostowski, A. 1957. On a generalization of quantifiers, Fundamenta Mathematicae 44, 12–36.
- Murawski, R. 20012. Filozofia matematyki. Zarys dziejów. Warszawa: Wydawnictwo Naukowe PWN.
- Murawski, R. 2002. Współczesna filozofia matematyki. Warszawa: Wydawnictwo Naukowe PWN.
- Murawski, R. 20033. Filozofia matematyki. Antologia tekstów klasycznych. Poznań: Wydawnictwo Naukowe UAM.
- 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.
- Myhill, J. 1952. The hypothesis that all classes are nameable. Proc. Nat. Acad. Sci. USA 38, 979.
- Neumann, J. von, 1925. Eine Axiomatisierung der Mengenlehre, Journal für die reine und angewandte Mathematik 154, 219–240.
- 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.
- Peirce, C.S. 1885. On the algebra of logic: a contribution to the philosophy of notation. American Journal of Mathematics 7, 180–202.
- Platek, R. 1966. Foundations of Recursion Theory. Doctoral Dissertation and Supplement, Stanford: Stanford University.
- Pogonowski, J. 2006. Projekt logiki infinitarnej Ernsta Zermela. Investigationes Linguisticae 14, 18–49.
- Pogonowski, J. 2019. Extremal axioms. Logical, mathematical and cognitive aspects. Poznań: Wydawnictwo Nauk Społecznych i Humanistycznych UAM.
- Putnam, H. 1980. Models and reality. Journal of Symbolic Logic 45, 464–482.
- 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.
- Resnik, M. 1966. On Skolem’s Paradox. Journal of Philosophy, 63, 15,
- Resnik, M. 1969. More on Skolem’s Paradox., Nous, 3, 185–196.
- Robinson, A. 1951. On the Metamathematics of Algebra. Amsterdam: North Holland.
- Robinson, A. 1957. Applications to field Ttheory. Summaries of talks at the Summer Institute for Symbolic Logic in 1957 at Cornell University, 326–331.
- Schröder, E. 1895. Vorlesungenüber die Algebra der Logik. Vol. 3, Leipzig.
- Schröder, E. 1910. Abriss der Algebra der Logik Vol. 2, E. Müller (Ed.), Leipzig.
- 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.
- Scott, D., Tarski, A. 1958. The sentential calculus with infinitely long expressions, Colloquium Mathematicum 6, 166-170.
- Shapiro, S. (Ed.) 1996. The Limits of Logic: Higher-order Logic and the Löwenheim-Skolem Theorem. Aldershot: Dartmouth Publishing Company.
- 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.
- 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.
- 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).
- Skolem, T. 1930. Einige Bemerkungen zu der Abhandlung von E. Zermelo “Über die Definitheit in der Axiomatik”. Fundamenta Mathematicae 15, 337–341.
- Suszko, R. 1951. Canonic axiomatic systems. Studia Philosophica 4, 301–330.
- Tarski, A. 1933. Pojęcie prawdy w językach nauk dedukcyjnych. Warszawa: Towarzystwo Naukowe Warszawskie.
- Tarski, A. 1934. Z badań metodologicznych nad definiowalnością terminów, Przegląd Filozoficzny 37, 438–460.
- Tarski, A. 1986. What are logical notions? History and Philosophy of Logic 7, 143–154.
- Taylor, R.G. 1993. Zermelo, reductionism, and the philosophy of mathematics, Notre Dame Journal of Formal Logic 34 (4), 539–563.
- Taylor, R.G. 2002. Zermelo’s Cantorian theory of systems of infinitely long propositions, The Bulletin of Symbolic Logic 8 (4), 478–515.
- Thomas, W. 1971. On behalf of the Skolemite, Analysis 31, 177–186.
- Thomas, W. 1968. Platonism and the Skolem Paradox, Analysis 28, 193–196.
- Uzquiano, G. 1999. Models of second-order set theory, The Bulletin of Symbolic Logic 5, 289–302.
- Wang, H. 1955. On denumerable bases of formal systems. Mathematical Interpretation of Formal Systems. Amsterdam: North Holland Publishing Company, 57–84.
- Wang, H. 1962. A Survey of Mathematical Logic. Peking: Science Press; Amsterdam: North Holland Publishing Company.
- 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.
- Whitehead, A.N., Russell, B. 1910–1913. Principia Mathematica. Cambridge.
- Woleński, J. (Ed.) 1997. Filozofia logiki. Warszawa: Wydawnictwo Spacja — Fundacja Aletheia.
- 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.
- 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.
- Zermelo, E. 1904. Beweis daß jede Menge wohlgeordnet werden kann, Mathematische Annalen 59, 514–516.
- Zermelo, E. 1908. Untersuchungenüber die Grundlagen der Mengenlehre I, Math-ematische Annalen 65, 261–281.
- Zermelo, E. 1908a. Neuer Beweis für die Möglichkeit einer Wohlordnung, Mathematische Annalen 65, 107–128.
- Zermelo, E. 1909. Sur les ensembles finis et le principe de l’induction complète, Acta mathematica 32, 185–193.
- 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.
- Zermelo, E. 1921. Thesenüber das Unendliche in der Mathematik. Nachlaß, published in Ebbinghaus, Fraser, Kanamori 2010, 306.
- Zermelo, E. 1929.Über den Begriff der Definitheit in der Axiomatik, Fundamenta Mathematicae 14, 339–344.
- 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.
- Zermelo, E. 1930.Über Grenzzahlen und Mengenbereiche: Neue Untersuchungen über die Grundlagen der Mengenlehre, Fundamenta Mathematicae 16, 29–47.
- Zermelo, E. 1930a.Über die logische Form der mathematischen Theorien, Annales de la société polonaise de mathématiques 9, 187.
- 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.
- 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.
- Zermelo, E. 1931b. Brief an Kurt Gödel vom 29. Oktober 1931. Published in Ebbinghaus, Fraser, Kanamori 2010, 500.
- Zermelo, E. 1932.Über Stufen der Quantifikation und die Logik des Unendlichen, Jahresbericht der Deutschen Mathematiker-Vereinigung 41, 85–92.
- Zermelo, E. 1932a.Über mathematische Systeme und die Logik des Unendlichen Forschungen und Fortschritte 8, 6–7.
- Zermelo, E. 1935. Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme (Erste Mitteilung), Fundamenta Mathematicae 25, 135–146.
- Zermelo, E. 1937. Der Relativismus in der Mengenlehre und der sogenannte Skolem’sche Satz, Nachlaß, published in Ebbinghaus, Fraser, Kanamori 2010, 602–605.