A Remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten induktionin der reinen zahlentheorie”, I

DOI10.3792/pja/1195523052zbMath0126.01102OpenAlexW4233187692MaRDI QIDQ5331470

Gaisi Takeuti

Publication date: 1963

Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3792/pja/1195523052

zbMATH Keywords

mathematical logic

Related Items

Derivatives of normal functions and \(\omega \)-models, Proof-theoretic strengths of the well-ordering principles, Some results on cut-elimination, provable well-orderings, induction and reflection