[FOM] third order arithmetic/reverse mathematics

[Alexander Kreuzer]

Dear Jan,

James Hunter analyzes the strength of the existence of certain
topologies of the set of reals in his PhD thesis "Higher order reverse
topology" (Sections 2.3.4, 2.3.5) available at
http://www.math.wisc.edu/~lempp/theses/hunter.pdf

Best wishes,
Alexander

On Tue, Sep 04 2012, pax0 at seznam.cz wrote:

> Is there a concrete result about third order arithmetic in the sense of reverse mathematics?
> Say something which mentions the set of all real numbers, which exists there...
> Thank you, Jan Pax
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>

-- 
Alexander Kreuzer
TU Darmstadt, Germany
www.mathematik.tu-darmstadt.de/~akreuzer