arXiv Analytics

Sign in

arXiv:2101.01643 [math.LO]AbstractReferencesReviewsResources

Frege's Theory of Real Numbers: A consistent Rendering

Francesca Boccuni, Marco Panza

Published 2021-01-05Version 1

Frege's definition of the real numbers, as envisaged in the second volume of \textit{Grundgesetze der Arithmetik}, is fatally flawed by the inconsistency of Frege's ill-fated \textit{Basic Law V}. We restate Frege's definition in a consistent logical framework and investigate whether it can provide a logical foundation of real analysis. Our conclusion will deem it doubtful that such a foundation along the lines of Frege's own indications is possible at all.

Journal: Review of Symbolic Logic, 2021
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:1910.05834 [math.LO] (Published 2019-10-13)
On $\aleph_ω$ being Jónsson
arXiv:math/0509658 [math.LO] (Published 2005-09-28)
A question of van den Dries and a theorem of Lipshitz and Robinson: Not everything is standard
arXiv:1808.00906 [math.LO] (Published 2018-07-28)
Axioms for the Real Numbers: A Constructive Approach

Links

Toolbox