Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
From MaRDI portal
Publication:2649136
DOI10.1007/BF01342849zbMath0042.00803MaRDI QIDQ2649136
Publication date: 1951
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/160227
Related Items
Proof-theoretical analysis: Weak systems of functions and classes, Ordinal analysis by transformations, \(\supset\)E is admissible in ``true relevant arithmetic, Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas, Continuous normalization for the lambda-calculus and Gödel's T, Notation systems for infinitary derivations, Semantic values for natural deduction derivations, Invertible infinitary calculus without loop rules for restricted FTL, Zur Widerspruchsfreiheit einer typenfreien Logik, Ein System des Verknüpfenden Schliessens, Pa-Beweisbare ∀∃-Formeln, Consistency proof without transfinite induction for a formal system for turing machines