From Dedekind to Zermelo versus Peano to Gödel

DOI10.1007/s00591-017-0193-4zbMath1395.01020OpenAlexW2675760575MaRDI QIDQ1694959

Reinhard Kahle

Publication date: 6 February 2018

Published in: Mathematische Semesterberichte (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00591-017-0193-4

zbMATH Keywords

characterization of natural numbersnon-standard models of the (first-order) Peano arithmetic

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55)

Related Items (1)

Is there a ``Hilbert thesis?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the limit of the finite. The Hilbert programme in the context of formalism and finitism
• The induction principle
• Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
• On the sources of my book \textit{Moderne Algebra}
• Collected works. Volume I: Set theory, miscellanea. Edited by Heinz-Dieter Ebbinghaus and Akihiro Kanamori
• Zermelo and the Skolem Paradox
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
• Logic in the 1930s: type theory and model theory

This page was built for publication: From Dedekind to Zermelo versus Peano to Gödel