[
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. 19232. 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.10.1525/9780520398252
]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. 20012. 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. 20033. 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