[FOM] third order arithmetic/reverse mathematics

pax0 at seznam.cz pax0 at seznam.cz
Tue Sep 4 13:44:46 EDT 2012

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

More information about the FOM mailing list