1. Faculty of Engineering and Physical Sciences
  2. Events
  3. School of Mathematics
  4. Research and innovation
  5. Pure Mathematics
  6. Some remarks about Goodstein principles

Pure Mathematics event

Some remarks about Goodstein principles

  • Date: Monday 21 January 2019, 16:00 – 17:00
  • Location: Roger Stevens LT 16 (12.16)
  • Type: Logic, Seminars, Pure Mathematics
  • Cost: Free
  • Download: Outlook, iCal

Andreas Weiermann, Ghent University. Part of the Logic Seminar Series.

We discuss some general properties of so-called Goodstein sequences. These are motivated by concrete incompleteness results for arithmetic. Part of this is joint work with Tosi Arai and Stan Wainer.

Andreas Weiermann, University of Ghent.