[FOM] FOM: Reverse math and analysis

[Jeff Hirst]

Hi-

David MacIver asked about sources pertaining to analysis and reverse 
mathematics.
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:
http://www3.interscience.wiley.com/cgi-bin/jhome/60500242
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