A relation between transfinite induction and mathematical induction in elementary number theory

DOI10.21099/TKBJM/1496158380zbMath0415.03048OpenAlexW2243726694MaRDI QIDQ599812

Kokio Shirai

Publication date: 1977

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496158380

zbMATH Keywords

proof theoryintuitionistic arithmeticderivability of transfinite inductionordinal estimates for subsystems of arithmetic

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Intuitionistic mathematics (03F55)

Related Items (1)

Ordinal analyses for monotone and cofinal transfinite inductions

This page was built for publication: A relation between transfinite induction and mathematical induction in elementary number theory