Reals by abstraction

DOI10.1093/PHILMAT/8.2.100MaRDI QIDQ2702942zbMATH OpenOpenAlexFDO

Authors Bob Hale

Publication date 28 February 2001

Published in Philosophia Mathematica. Series III (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/philmat/8.2.100

zbMATH Keywords

elementary arithmeticfoundations of mathematicsHume's principleneo-Fregeanismsecond-order logictheory of real numbers

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30)

Recommendations

• Real numbers and set theory -- extending the neo-Fregean programme beyond arithmetic
• scientific article; zbMATH DE number 2107940
• Frege meets Dedekind: A neologicist treatment of real analysis
• Which Abstraction Principles are Acceptable? Some Limitative Results
• Abstraction and set theory

Cited in

(24)

• Focus restored: Comments on John MacFarlane
• The good, the bad and the ugly
• Quantifying over the reals
• Neo-Fregean foundations for real analysis: Some reflections on Frege's constraint
• Frege meets Dedekind: A neologicist treatment of real analysis
• Abstraction and set theory
• Possible predicates and actual properties
• Rescuing implicit definition from abstractionism
• Abstraction and infinity
• Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
• Logicism, interpretability, and knowledge of arithmetic
• The State of the Economy: Neo-logicism and Inflationt
• Real Numbers, Quantities, and Measurement†
• scientific article; zbMATH DE number 2107940 (Why is no real title available?)
• Trivial Reals
• DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH
• Frege's theory of real numbers: A consistent rendering
• FREGE’S CONSTRAINT AND THE NATURE OF FREGE’S FOUNDATIONAL PROGRAM
• What is Neologicism?
• Neo-Fregeanism: an embarrassment of riches
• Iteration one more time
• Is Hume's principle analytic?
• Real numbers and set theory -- extending the neo-Fregean programme beyond arithmetic
• Numerical abstraction via the Frege quantifier

This page was built for publication: Reals by abstraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2702942)