Reverse mathematics has been the topic of my Honours project and my Masters thesis. Informally, reverse mathematics studies what axioms are required to prove certain theorems of “ordinary mathematics”. The Wikipedia page gives a nice summary; otherwise, for a more in-depth exposition, see my Honours report, or the books by Simpson or Stillwell. My Honours … Continue reading Reverse mathematics