Ordinal inequalities, transfinite induction, and reverse mathematics

DOI10.2307/2586499zbMath0930.03085OpenAlexW2086608401MaRDI QIDQ4262583

Jeffry L. Hirst

Publication date: 8 February 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586499

zbMATH Keywords

proof theoryordinal arithmeticreverse mathematicstransfinite induction

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items

A note on ordinal exponentiation and derivatives of normal functions, Weak and strong versions of effective transfinite recursion, – CA₀ and order types of countable ordered groups

Cites Work

• Weak comparability of well orderings and reverse mathematics
• Unnamed Item