Zermelo: a Well Founded Antiskolemism
PDF

Jak cytować

Pogonowski, J. (2007). Zermelo: a Well Founded Antiskolemism. Investigationes Linguisticae, 14, 172–174. https://doi.org/10.14746/il.2006.14.16
https://doi.org/10.14746/il.2006.14.16
PDF

Bibliografia

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.

van Dalen, D., Ebbinghaus, H.D. 2000. Zermelo and the Skolem Paradox. The Bulletin o f Symbolic Logic Volume 6, Number 2, 145-161. Contains [Zermelo 1921] and [Zermelo 1937].

Dawson, J.W. 1985. Completing the Godel-Zermelo Correspondence. Historia Mathematica 12, 66-70.

Grattan-Guinness, I. 1979. In memoriam Kurt Godel: his 1931 correspondence with Zermelo on his incompletability theorem. Historia Mathematica 6, 294-304.

Moore, G.H. 1980. Beyond First-order Logic: The Historical Interplay between Mathematical Logic and Axiomatic Set Theory. History and Philosophy o f Logic 1, 95-137. Contains [Zermelo 1931(?)] and fragments of [Zermelo 1929].

Moore, G.H. 2002. Die Kontroverse zwischen Godel und Zermelo. In: B. Buldt u.a. (Hrsg.) Kurt Godel.

Wahrheit und Beweisbarkeit. Band 1: Dokumente und historische Analysen, Band 2: Kompendium zum Werk. Wien: obv&hpt VerlagsgmbH & Co., 55-64.

Peckhaus, V. 1990. ‘Ich habe mich wohl gehutet, alle Patronen auf einmal zu verschiefien’. Ernst Zermelo in Gottingen. History and Philosophy o f Logic 11, 19-58.

Taylor, R.G. 2002. Zermelo’s Cantorian theory of systems of infinitely long propositions. The Bulletin of Symbolic Logic Volume 8, Number 4, 478-515.

Uzquiano, G. 1999. Models of second-order Zermelo set theory. The Bulletin o f Symbolic Logic Volume 5, Number 3, 289-302.