Dedekind’s Analysis of Number: Systems and Axioms

&
Synthese 147 (1):121-170 (2005)
  Copy   BIBTEX

Abstract

Wilfred Sieg and Dirk Schlimm. Dedekind's Analysis of Number: Systems and Axioms

Categories

Keywords

Reprint years

DOI

10.1007/s11229-004-6300-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

William Ewald and Wilfried Sieg , Michael Hallett , David Hilbert’s Lectures on the Foundations of Arithmetic and Logic 1917–1933. In collaboration with Ulrich Majer and Dirk Schlimm , Springer-Verlag: Berlin and Heidelberg, 2013, xxvi + 1062 pp. ISBN 978-3-540-20578-4 $129.00, $86.37. [REVIEW]Volker Peckhaus - 2017 - Studia Logica 105 (3):669-671.
Relative consistency and accessible domains.Wilfried Sieg - 1990 - Synthese 84 (2):259 - 297.
Peano’s structuralism and the birth of formal languages.Joan Bertran-San-Millán - 2022 - Synthese 200 (4):1-34.
Review: Wilfried Buchholz, Wolfram Pohlers, Wilfried Sieg, Iterated Inductive Definitions and Subsystems of Analysis. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
S. Feferman and W. Sieg Inductive definitions and subsystems of analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof theoretic equivalences between classical and constructive theories for analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. - Solomon Feferman. Iterated inductive fixed-point theories: application to Hancock's conjecture. Patras logic symposion, Proceedings of the logic symposion held at Patras, Greece, August 18–22, 1980, edited by George Metakides, Studies in logic. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
Review: Wilfried Sieg, Step by Recursive Step: Church's Analysis of Effective Calculability. [REVIEW]Stewart Shapiro - 1999 - Journal of Symbolic Logic 64 (1):398-399.
Review: Wilfried Sieg, Georg Dorn, P. Weingartner, Reductions of Theories for Analysis. [REVIEW]Peter Clote - 1990 - Journal of Symbolic Logic 55 (1):354-354.
Gerhard Jäger* and Wilfried Sieg.** Feferman on Foundations: Logic, Mathematics, Philosophy.Reinhard Kahle - 2020 - Philosophia Mathematica 28 (3):421-425.
Structuralism in differential equations.Colin McLarty - 2024 - Synthese 203 (3):1-15.
Calculations by Man and Machine: Conceptual Analysis.Wilfried Sieg - unknown

Analytics

Added to PP
2009-01-28

Downloads
88 (#188,887)

6 months
20 (#173,941)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dirk Schlimm
McGill University
Wilfried Sieg
Carnegie Mellon University

Citations of this work

Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.
Domain Extension and Ideal Elements in Mathematics†.Anna Bellomo - 2021 - Philosophia Mathematica 29 (3):366-391.
Dedekind and Wolffian Deductive Method.José Ferreirós & Abel Lassalle-Casanave - 2022 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 53 (4):345-365.

View all 27 citations / Add more citations

References found in this work

From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.
Analysis.Michael Beaney - 2017 - Routledge.
Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.
Analysis.Michael Beaney - 2008 - Stanford Encyclopedia of Philosophy.

View all 15 references / Add more references