Ackermannian Goodstein sequences of intermediate growth
type: Item
instance of: scholarly article
title: Ackermannian Goodstein sequences of intermediate growth
DOI: 10.1007/978-3-030-51466-2_14
author: David Fernández-Duque
author: Andreas Weiermann
publication date: 2022-12-16T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7633505
zbMATH Keywords: Goodstein sequences
zbMATH Keywords: independence proofs
zbMATH Keywords: ordinal notation systems
MaRDI profile type: Publication
full work available at URL: 978-3-030-51466-2 14
OpenAlex ID: W3037982154
cites work: Ordinal Analysis and the Infinite Ramsey Theorem
cites work: Predicatively unprovable termination of the Ackermannian Goodstein process
cites work: A Uniform Approach to Fundamental Sequences and Hierarchies
cites work: On the restricted ordinal theorem
cites work: Transfinite ordinals in recursive number theory
cites work: Ramsey’s theorem for 𝑛-dimensional arrays
cites work: Accessible Independence Results for Peano Arithmetic
cites work: An ordinal analysis for theories of self-referential truth
cites work: Proof theory. The first step into impredicativity
cites work: Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
cites work: Q4143279
cites work: Q3395521
cites work: ACKERMANNIAN GOODSTEIN PRINCIPLES FOR FIRST ORDER PEANO ARITHMETIC
description: scientific article; zbMATH DE number 7633505