Pages that link to "Item:Q813419"
From MaRDI portal
The following pages link to Dedekind's analysis of number: Systems and axioms (Q813419):
Displaying 25 items.
- On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others (Q408326) (← links)
- A note on induction, abstraction, and Dedekind-finiteness (Q435238) (← links)
- Foundations for analysis and proof theory (Q798634) (← links)
- Dedekind's analysis of number: Systems and axioms (Q813419) (← links)
- Hilbert, logicism, and mathematical existence (Q1036075) (← links)
- The modernity of Dedekind's anticipations contained in \textit{What are numbers and what are they good for?} (Q1637277) (← links)
- Richard Dedekind: style and influence (Q1694961) (← links)
- Dedekind's and Frege's views on logic (Q1694963) (← links)
- Equivalence: an attempt at a history of the idea (Q2052631) (← links)
- Logical structuralism and Benacerraf's problem (Q2268774) (← links)
- (Q3169295) (← links)
- DEDEKIND AND HILBERT ON THE FOUNDATIONS OF THE DEDUCTIVE SCIENCES (Q3224050) (← links)
- Weyls Kritik an Dedekinds Zahlbegriff (Q4018027) (← links)
- (Q4604195) (← links)
- Richard Dedekind: Brief an Keferstein / Letter to Keferstein (Q4604208) (← links)
- Dedekind’s Map-theoretic Period (Q4626035) (← links)
- The nature and purpose of numbers. And other writings on the foundations of mathematics. Translated from the German, edited and with an introduction by José Ferreirós (Q4800755) (← links)
- CARNAP ON EXTREMAL AXIOMS, “<i>COMPLETENESS OF THE MODELS</i>,” AND CATEGORICITY (Q4899962) (← links)
- Frege, Dedekind, and the Origins of Logicism (Q4983341) (← links)
- (Q5071519) (← links)
- Arithmetik, Algebra und Analysis (Q5102482) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- In Praise of Replacement (Q5388757) (← links)
- Dedekind’s Mathematical Structuralism: From Galois Theory to Numbers, Sets, and Functions (Q5856189) (← links)
- Going to the source(s) of sources in mathematicians' drafts (Q6609980) (← links)
