Gerhard Gentzen. Beweisbarkeit und Unbeweisbarkeil von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Mathematische Annalen, vol. 119 no. 1 (1943), pp. 140–161. | The Journal of Symbolic Logic | Cambridge Core
real analysis - How to lift the restriction of sigma-finite by transfinite induction in proving linear functionals separate of $L^\infty(\Omega)$? - Mathematics Stack Exchange
real analysis - How to lift the restriction of sigma-finite by transfinite induction in proving linear functionals separate of $L^\infty(\Omega)$? - Mathematics Stack Exchange
Die Grenzen der Berechenbarkeit, Jörg Resag, 2006
Die Grenzen der Berechenbarkeit, Jörg Resag, 2006
Deduktion – Wikipedia
Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker | SpringerLink
Stream Ununpentium - Transfinite Induction by Ununpentium | Listen online for free on SoundCloud
set theory - Recursion theorem for ordinals proof - Mathematics Stack Exchange
17 Proof of Transfinite Induction - YouTube
19 Transfinite Recursion, Warm Up - YouTube
Logische Grundlagen der Mathematik”, WS 2014/15
Transfinite recursion as a fundamental principle in set theory | Joel David Hamkins
TRANSFINITE INDUCTION FOR MEASURE THEORY
39. Set Theory. Transfinite Recursion - YouTube
Transfinite induction | Semantic Scholar
Gaisi Taxeuti. A remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie.” I—II. Proceedings of the Japan Academy, vol. 39 (1963), pp. 263–269. | The
Kurt Schütte. Logische Abgrenzungen des Transfiniten. Logik und Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich 1962, pp. 105–114. | The Journal of Symbolic Logic | Cambridge Core
Einführung in die Axiomatische Mengenlehre
Transfinite Induction -- from Wolfram MathWorld
ArtStation - Transfinite induction
PDF) Transfinite Schlußweisen in Hilbertschen Konsistenzbeweisen
Transfinite induction - Wikipedia
set theory - I don't understand this proof: Trichotomy for ordinals (by double transfinite induction) - Mathematics Stack Exchange
Transfinite Induction: Buy Transfinite Induction by unknown at Low Price in India | Flipkart.com