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
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.