From: Stephen G Simpson 
Subject: 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