[FOM] update on Reverse Mathematics
Stephen G Simpson
simpson at math.psu.edu
Wed Jun 15 13:56:30 EDT 2005
This message is going out to a number of people who have contributed
to the Reverse Mathematics research program.
1. I want to update my Reverse Mathematics web page at
http://www.math.psu.edu/simpson/sosoa/. It has not been updated
since 2001 !!! I am writing now mainly to ask you to send me any
and all relevant information for the update.
In particular, could you please send me a list of your papers
relevant to Reverse Mathematics, with at least the following
information: author(s), title, publication information (journal,
volume, page numbers, or a note such as "submitted for publication"
or whatever). You might also include a brief description of the
content of the paper.
2. My Ph.D. advisee Carl Mummert recently defended his thesis in
Reverse Mathematics. Carl and I recently submitted a paper where
we show that a certain theorem of ordinary mathematics is
equivalent to Pi^1_2 comprehension. We feel that this is something
of a milestone in Reverse Mathematics.
3. I am thinking of possibly submitting a large collaborative research
proposal in Reverse Mathematics to the U.S. National Science
Foundation. If you think you might like to work with me on this,
please let me know.
4. I have been told that the long-delayed volume Reverse Mathematics
2001 (edited by me, published by the Association for Symbolic
Logic, approximately 400 pages) is going to appear any day now.
5. Work is underway for a second edition of my book Subsystems of
Second Order Arithmetic (1999, XIV + 445 pages, out of print). The
second edition will be published by the ASL.
Best wishes to all,
Professor Stephen G. Simpson secretary: 814-865-7527
Department of Mathematics office: 814-863-0775
Pennsylvania State University home: 814-238-2274
State College, PA 16802, USA fax: 814-865-3735
http://www.math.psu.edu/simpson/ email: simpson at math.psu.edu
More information about the FOM