Goodstein’s Theorem Revisited
From MaRDI portal
Publication:5361250
DOI10.1007/978-3-319-10103-3_9zbMath1378.03048arXiv1405.4484OpenAlexW1044768456WikidataQ59896961 ScholiaQ59896961MaRDI QIDQ5361250
Publication date: 27 September 2017
Published in: Gentzen's Centenary (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1405.4484
History of mathematics in the 20th century (01A60) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Recursive ordinals and ordinal notations (03F15) Gödel numberings and issues of incompleteness (03F40)
Related Items
A WALK WITH GOODSTEIN, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), Ackermann and Goodstein go functorial, Diagrams in mathematics, GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
