FOM: Importance of Real Analysis for F.O.M.

Joe Shipman shipman at
Thu Jan 13 10:36:49 EST 2000

One point which should be emphasized in the current discussion of Real
Analysis as a primary motivator for foundational work:  almost all "core
mathematics" can be coded into second-order arithmetic, which is the
foundation developed for Real Analysis.  Manifolds, Hilbert Space,
countable algebras, separable metric spaces, etc., may be more easily
investigated in the full ZFC framework, but don't strictly require more
of a foundation than Real Analysis does.

-- Joe Shipman

More information about the FOM mailing list