[FOM] The Munich conference on reverse mathematics

Martin Davis martin at eipye.com
Fri Aug 4 21:11:13 EDT 2017

I'm happy to see that the field of reverse mathematics has achieved such a
mature level. In the context of this list, in whose founding Harvey
Friedman played an instrumental role, I think it is appropriate to recall
that it was also Harvey Friedman who founded the field of reverse

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20170804/e5d5bbfe/attachment.html>

More information about the FOM mailing list