[FOM] FOM: Reverse math and analysis

Jeff Hirst jlh at math.appstate.edu
Tue Nov 2 08:18:15 EST 2004


David MacIver asked about sources pertaining to analysis and reverse 
At the risk of appearing self-promoting, I might suggest my article 
on "Minima of
initial segments of infinite sequences of reals," in the Mathematical 
Logic Quarterly,
vol. 50, (2004) 47-50.  It's also available online at:
and I could provide reprints (while supplies last).

In particular, the last page contrasts the approaches of reverse mathematics,
computable analysis, and constructive analysis.

-Jeff Hirst

Professor of Mathematics, Appalachian State University
jlh at math.appstate.edu

More information about the FOM mailing list