Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

PL EN


2006 | 14 | 172-174

Article title

Zermelo: a Well Founded Antiskolemism

Content

Title variants

Languages of publication

PL

Abstracts

Keywords

Year

Volume

14

Pages

172-174

Physical description

Dates

published
2007-06-16

Contributors

  • Department of Applied Logic, Adam Mickiewicz University

References

  • 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.

Document Type

Publication order reference

Identifiers

YADDA identifier

bwmeta1.element.ojs-doi-10_14746_il_2006_14_16
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.