{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,14]],"date-time":"2024-09-14T09:04:19Z","timestamp":1726304659646},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T00:00:00Z","timestamp":1498089600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math Semesterber"],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1007\/s00591-017-0193-4","type":"journal-article","created":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T22:55:15Z","timestamp":1498085715000},"page":"159-167","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Von Dedekind zu Zermelo versus Peano zu G\u00f6del"],"prefix":"10.1007","volume":"64","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,22]]},"reference":[{"key":"193_CR1","unstructured":"Mitteilungen und Nachrichten. 1.\u00a0Akademien.\u00a0Gesellschaften.\u00a0Vereinigungen.\u00a0Versammlungen. Jahresberichte der Deutschen Mathematiker-Vereinigung, 12:344\u2013347, 1903."},{"key":"193_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/01445340210146889","volume":"23","author":"S Awodey","year":"2002","unstructured":"Awodey, S., Reck, E.H.: Completeness and categoricity. Part I: Nineteenth-century axiomatics to twentieth-century metalogic. Hist Philos Log 23, 1\u201330 (2002)","journal-title":"Hist Philos Log"},{"key":"193_CR3","series-title":"Gesammelte Werke","first-page":"335","volume-title":"Was sind und was sollen die Zahlen?","author":"R Dedekind","year":"1932","unstructured":"Dedekind, R.: Was sind und was sollen die Zahlen? Gesammelte Werke, Bd. III. Vieweg, Braunschweig, S. 335\u2013391 (1932)"},{"key":"193_CR4","unstructured":"Dedekind, R.: Brief an Keferstein. In: Scheel, K., Sonar, Th. (Hrsg.) In memoriam Richard Dedekind (1831\u20131916), WTM-Verlag \u2014 Stein, M\u00fcnster (2017)"},{"key":"193_CR5","volume-title":"Ernst Zermelo","author":"H-D Ebbinghaus","year":"2007","unstructured":"Ebbinghaus, H.-D.: Ernst Zermelo. Springer, Berlin Heidelberg (2007)"},{"key":"193_CR6","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1365\/s13291-011-0032-9","volume":"114","author":"U Felgner","year":"2012","unstructured":"Felgner, U.: Das Induktions-Prinzip. Jahresber Dtsch Math Ver 114, 23\u201345 (2012)","journal-title":"Jahresber Dtsch Math Ver"},{"key":"193_CR7","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1007\/BF01283861","volume":"XXV","author":"P Finsler","year":"1926","unstructured":"Finsler, P.: Formale beweise und die Entscheidbarkeit. Math\u00a0Z XXV, 676\u2013682 (1926)","journal-title":"Math Z"},{"key":"193_CR8","unstructured":"Kurt Grelling. Die Axiome der Arithmetik mit besonderer Ber\u00fccksichtigung der Beziehungen zur Mengenlehre. Inauguraldissertation, Universit\u00e4t G\u00f6ttingen, 1910."},{"issue":"1","key":"193_CR9","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/BF01696781","volume":"37","author":"K G\u00f6del","year":"1930","unstructured":"G\u00f6del, K.: Die Vollst\u00e4ndigkeit der Axiome des logischen Funktionenkalk\u00fcls. Monatsh Math Phys 37(1), 349\u2013360 (1930)","journal-title":"Monatsh Math Phys"},{"key":"193_CR10","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K G\u00f6del","year":"1931","unstructured":"G\u00f6del, K.: \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme. Monatsh Math Phys 38, 173\u2013198 (1931)","journal-title":"Monatsh Math Phys"},{"key":"193_CR11","series-title":"Collected Works","first-page":"16","volume-title":"Unpublished essays and lectures","author":"K G\u00f6del","year":"1995","unstructured":"G\u00f6del, K.: Vortrag \u00fcber Vollst\u00e4ndigkeit des Funktionenkalk\u00fcls. In: Feferman, S. (Hrsg.) Unpublished essays and lectures Collected Works, Bd. III, S. 16\u201329. Oxford University Press, Oxford (1995)"},{"key":"193_CR12","volume-title":"From Frege to G\u00f6del","author":"J Heijenoort van","year":"1967","unstructured":"van Heijenoort, J.: From Frege to G\u00f6del. Harward University Press, Cambridge (1967)"},{"key":"193_CR13","series-title":"Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen","volume-title":"Grundz\u00fcge der theoretischen Logik","author":"D Hilbert","year":"1928","unstructured":"Hilbert, D., Ackermann, W.: Grundz\u00fcge der theoretischen Logik. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Bd. XXVII. Springer, Berlin Heidelberg (1928)"},{"key":"193_CR14","series-title":"Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-41928-1","volume-title":"Grundz\u00fcge der theoretischen Logik","author":"D Hilbert","year":"1938","unstructured":"Hilbert, D., Ackermann, W.: Grundz\u00fcge der theoretischen Logik, 2.\u00a0Aufl. Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Bd. XXVII. Springer, Berlin Heidelberg (1938)","edition":"2"},{"issue":"1","key":"193_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00591-006-0012-9","volume":"54","author":"R Kahle","year":"2007","unstructured":"Kahle, R.: Die G\u00f6delschen Unvollst\u00e4ndigkeitss\u00e4tze. Math Semesterber 54(1), 1\u201312 (2007)","journal-title":"Math Semesterber"},{"key":"193_CR16","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198532132.001.0001","volume-title":"Models of Peano Arithmetic","author":"R Kaye","year":"1991","unstructured":"Kaye, R.: Models of Peano Arithmetic. Oxford Logic Guides, Bd. 15. Oxford University Press, Oxford (1991)"},{"key":"193_CR17","series-title":"Studies in the History of Modern Science","volume-title":"Peano. Life and works of Giuseppe Peano","author":"HC Kennedy","year":"1980","unstructured":"Kennedy, H.C.: Peano. Life and works of Giuseppe Peano. Studies in the History of Modern Science, Bd. 4. Reidel, Dordrecht (1980)"},{"key":"193_CR18","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1098\/rsbm.1980.0005","volume":"26","author":"G Kreisel","year":"1980","unstructured":"Kreisel, G.: Kurt G\u00f6del. Biogr Mem Fellows R Soc 26, 149\u2013224 (1980)","journal-title":"Biogr Mem Fellows R Soc"},{"key":"193_CR19","series-title":"Minnesota Studies in the Philosophy of Science","first-page":"95","volume-title":"History and philosophy of modern mathematics","author":"GH Moore","year":"1988","unstructured":"Moore, G.H.: The emergence of first-order logic. In: Aspray, W., Kitcher, P. (Hrsg.) History and philosophy of modern mathematics Minnesota Studies in the Philosophy of Science, Bd. XI, S. 95\u2013135. University of Minnesota Press, Minneapolis (1988)"},{"key":"193_CR20","unstructured":"Richard Dedekind: \u201eStetigkeit und Irrationale Zahlen\u201c (1872) und \u201eWas sind und was sollen die Zahlen?\u201c (1888). In: M\u00fcller-Stach, S. (Hrsg.) Klassische Texte in der Mathematik. Springer, Berlin Heidelberg (2017)"},{"key":"193_CR21","volume-title":"Arithmetices Principia Novo Methodo Exposita","author":"G Peano","year":"1889","unstructured":"Peano, G.: Arithmetices Principia Novo Methodo Exposita. Bocca, Augustae Taurinorum (1889)"},{"key":"193_CR22","first-page":"83","volume-title":"From Frege to G\u00f6del","author":"G Peano","year":"1967","unstructured":"Peano, G.: The principles of arithematic, presented by a new method. In: van Heijenoort, J. (Hrsg.) From Frege to G\u00f6del, S. 83\u201397. Harvard University Press, Cambridge (1967)"},{"issue":"4","key":"193_CR23","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1017\/S1079898600010568","volume":"19","author":"G Schiemer","year":"2013","unstructured":"Schiemer, G., Reck, E.H.: Logic in the 1930s: Type theory and model theory. Bull Symb Log 19(4), 433\u2013472 (2013)","journal-title":"Bull Symb Log"},{"key":"193_CR24","unstructured":"Wilfried Sieg and Rebecca Morris. Dedekind\u2019s structuralism: Creating concepts and deriving theorems. In Logic, Philosophy of Mathematics, and their History: Essays in Honor of W.W.\u00a0Tait. forthcoming."},{"key":"193_CR25","doi-asserted-by":"crossref","first-page":"150","DOI":"10.4064\/fm-23-1-150-161","volume":"23","author":"T Skolem","year":"1934","unstructured":"Skolem, T.: \u00dcber die Nicht-Charakterisierbarkeit der Zahlenreihe mittels endlich oder abz\u00e4hlbar unendlich vieler Aussagen mit ausschlie\u00dflich Zahlenvariablen. Fundam Math 23, 150\u2013161 (1934)","journal-title":"Fundam Math"},{"key":"193_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-29654-3","volume-title":"An den Grenzen des Unendlichen. Mathematik im Kontext","author":"C Tapp","year":"2013","unstructured":"Tapp, C.: An den Grenzen des Unendlichen. Mathematik im Kontext. Springer, Berlin Heidelberg (2013)"},{"issue":"2","key":"193_CR27","doi-asserted-by":"crossref","first-page":"145","DOI":"10.2307\/421203","volume":"6","author":"D Dalen van","year":"2000","unstructured":"van Dalen, D., Ebbinghaus, H.-D.: Zermelo and the Skolem Paradox. Bull Symb Log 6(2), 145\u2013161 (2000)","journal-title":"Bull Symb Log"},{"key":"193_CR28","volume-title":"Richard Dedekind. \u00dcber die Theorie der ganzen algebraischen Zahlen","author":"BL Waerden van der","year":"1964","unstructured":"van der Waerden, B.L.: Geleitwort. In: Richard Dedekind. \u00dcber die Theorie der ganzen algebraischen Zahlen. Vieweg, Braunschweig (1964)"},{"key":"193_CR29","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0315-0860(75)90034-8","volume":"2","author":"BL Waerden van der","year":"1975","unstructured":"van der Waerden, B.L.: On the sources of my book Moderne Algebra. Hist Math 2, 31\u201340 (1975)","journal-title":"Hist Math"},{"key":"193_CR30","volume-title":"Principia Mathematica","author":"A North Whitehead","year":"1927","unstructured":"North Whitehead, A., Russell, B.: Principia Mathematica, 2.\u00a0Aufl. Cambridge University Press, Cambridge (1927)","edition":"2"},{"key":"193_CR31","doi-asserted-by":"crossref","DOI":"10.1142\/5202","volume-title":"Memoirs of a Proof Theorist","author":"M Yasugi","year":"2003","unstructured":"Yasugi, M., Passell, N.: Memoirs of a Proof Theorist. World Scientific, Singapore (2003). English translation of a collection of essays written by Gaisi Takeuti"},{"key":"193_CR32","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/BF02403215","volume":"32","author":"E Zermelo","year":"1909","unstructured":"Zermelo, E.: Sur les ensembles finis et le principe de l\u2019induction compl\u00e8te. Acta Math 32, 185\u2013193 (1909)","journal-title":"Acta Math"},{"key":"193_CR33","series-title":"Atti del IV Congresso Internazionale dei Matematici (Roma, 6\u201311 Aprile 1908)","first-page":"8","volume-title":"Comunicazioni delle sezioni I e II","author":"E Zermelo","year":"1909","unstructured":"Zermelo, E.: Ueber die Grundlagen der Arithmetik. In: Castelnouvo, G. (Hrsg.) Comunicazioni delle sezioni I e II Atti del IV Congresso Internazionale dei Matematici (Roma, 6\u201311 Aprile 1908), Bd. 2, S. 8\u201311. R. Accademia dei Lincei, Roma (1909)"},{"key":"193_CR34","first-page":"85","volume":"41","author":"E Zermelo","year":"1932","unstructured":"Zermelo, E.: \u00dcber Stufen der Quantifikation und die Logik des Unendlichen. Jahresber Dtsch Math 41, 85\u201388 (1932). 2.\u00a0Abt.","journal-title":"Jahresber Dtsch Math"},{"key":"193_CR35","series-title":"Collected Works\/Gesammelte Werke","volume-title":"Set Theory, Miscellanea\/Mengenlehre, Varia","author":"E Zermelo","year":"2010","unstructured":"Zermelo, E.: Set Theory, Miscellanea\/Mengenlehre, Varia. Collected Works\/Gesammelte Werke, Bd. I. Springer, Berlin Heidelberg (2010)"}],"container-title":["Mathematische Semesterberichte"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00591-017-0193-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00591-017-0193-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00591-017-0193-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T22:25:29Z","timestamp":1719267929000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00591-017-0193-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,22]]},"references-count":35,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,10]]}},"alternative-id":["193"],"URL":"https:\/\/doi.org\/10.1007\/s00591-017-0193-4","relation":{},"ISSN":["0720-728X","1432-1815"],"issn-type":[{"value":"0720-728X","type":"print"},{"value":"1432-1815","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,6,22]]}}}