[FOM] third order arithmetic/reverse mathematics

Alexander Kreuzer akreuzer at mathematik.tu-darmstadt.de
Sat Sep 8 09:08:06 EDT 2012

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

Best wishes,

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

More information about the FOM mailing list