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

[Joe Shipman]

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