From: Stephen G SimpsonSubject: update on Reverse Mathematics Date: Wed, 15 Jun 2005 13:33:18 -0400 Dear Colleagues, 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.personal.psu.edu/t20/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, -- Steve 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.personal.psu.edu/t20/ email: t20@psu.edu