FOM: talk at ASL 2002 on reverse mathematics

Stephen G Simpson simpson at
Fri Jun 14 10:11:09 EDT 2002

Dear FOM,

My 60-minute talk at the recent Annual Meeting of the Association for
Symbolic Logic was entitled "Reverse mathematics and its significance
for mathematical logic".  Transparencies for this and my other recent
talks are available at

Best wishes to all,

-- Steve

More information about the FOM mailing list