ACKERMANNIAN GOODSTEIN PRINCIPLES FOR FIRST ORDER PEANO ARITHMETIC
From MaRDI portal
Publication:5137319
DOI10.1142/9789813223523_0007zbMath1448.03031OpenAlexW2624699856MaRDI QIDQ5137319
Publication date: 2 December 2020
Published in: Sets and Computations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/9789813223523_0007
First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)
Related Items (3)
Predicatively unprovable termination of the Ackermannian Goodstein process ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Ackermannian Goodstein sequences of intermediate growth
This page was built for publication: ACKERMANNIAN GOODSTEIN PRINCIPLES FOR FIRST ORDER PEANO ARITHMETIC
