\n

Reverse m athematics is concerned with examining exactly whi ch axioms are necessary for various central mathem atical theorems and results. The program is a rela tively new one in the foundations of mathematics. It turns out that most theorems are equivalent to one of five subsystems of second order arithmetic. The main objective of the conference is to explor e the philosophical significance of reverse mathem atics as a research program in the foundations of mathematics.

\n\nSpeakers: Marianna Antonu tti Marfori (Munich Center for Mathematical Philos ophy, LMU Munich), Walter Dean (University of Warw ick) (TBC), Benedict Eastaugh (University of Brist ol), Marcia Groszek (Dartmouth College), Takako Ne moto (Japan Advanced Institute of Science and Tech nology), Stephen G. Simpson (Pennsylvania State Un iversity and Vanderbilt University).

\n\n& nbsp;

\n\n

URL:http://sotfom.wordpress.com
CONTACT:sotfom at gmail.com
END:VEVENT
END:VCALENDAR
We invite the submiss ion of abstracts, suitable for a 40 minute talk, o n topics related to any aspects of reverse mathema tics. We encourage submissions from early career r esearchers and PhD students. Please send an abstra ct of around 1000-1500 words by email to sotfom at&n bsp;gmail.com in PDF format. Abstracts should be prepared for blind review. The author?s name, paper title, institutional affiliation, and contact details should be included in the body of the email.

\n