1. Faculty of Engineering and Physical Sciences
  2. Events
  3. School of Mathematics
  4. Research and innovation
  5. Pure Mathematics
  6. From Cut Elimination to Pi^1_1-Comprehension

Pure Mathematics event

From Cut Elimination to Pi^1_1-Comprehension

  • Date: Wednesday 21 February 2018, 16:00 – 17:00
  • Location: Mathematics Level 8, MALL 1, School of Mathematics
  • Type: Logic, Seminars, Pure Mathematics
  • Cost: Free
  • Download: Outlook, iCal

Anton Freund, University of Leeds. Part of the logic seminar series.

In the first half of my talk I will introduce some concepts of ordinal analysis.  In the second half I will explain how these concepts can be "lifted" to the domain of reverse mathematics. Specifically, I will present a "type-two well-ordering principle" that is equivalent to Pi^1_1-comprehension.