1. Faculty of Engineering and Physical Sciences
  2. Events
  3. School of Mathematics
  4. Research and innovation
  5. Pure Mathematics
  6. Doing mathematics in 3rd order arithmetic

Pure Mathematics event

Doing mathematics in 3rd order arithmetic

  • Date: Wednesday 17 October 2018, 14:00 – 15:00
  • Location: Mathematics Level 8, MALL 1, School of Mathematics
  • Type: Proofs, Constructions and Computations, Seminars, Pure Mathematics
  • Cost: Free
  • Download: Outlook, iCal

Michael Rathjen, University of Leeds. Part of the proofs, constructions and computations seminar series.

I'll say a little bit more about developing mathematics in the small set-theoretic world known as Jensen's J_2.  Then I'll turn to another paper of Weaver's that looks at mathematics from the viewpoint of semi-intuitionistic third order arithmetic.  It'll be interesting to gauge the proof-theoretic strength of the latter.