Exact estimates of the provability of transfinite induction in the initial segments of arithmetic
From MaRDI portal
Publication:2557248
DOI10.1007/BF01117473zbMath0252.02028OpenAlexW2040092363MaRDI QIDQ2557248
Publication date: 1973
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01117473
Related Items
Transfinite induction within Peano arithmetic ⋮ Ordinal analyses for monotone and cofinal transfinite inductions
Cites Work