The first meeting of the logic seminar will be today at 2:30–3:20 in Keller 314. Our speaker will be Jack Yoon, who will give an introductory lecture on reverse mathematics. An abstract for his talk is below.
I will introduce the basics of reverse mathematics and begin Hunter’s paper on higher order reverse topology, which can be found here: https://www.math.wisc.edu/
Reverse mathematics is a study of foundations of mathematics by assessing the “strength” of the theorems from ordinary mathematics. Rather than starting from given axioms to prove a theorem, it asks a reverse question “which axioms are necessary to prove the theorem?”. Traditionally, reverse mathematics has played out within the second order arithmetic, but further progress has been made on higher order systems as well. For example, Hunter’s paper above branches out to higher order systems to study the theorems of topology.