Some remarks about Goodstein principles

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.