Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik
From MaRDI portal
Publication:5540436
DOI10.1007/BF01972460zbMath0158.00705MaRDI QIDQ5540436
Publication date: 1965
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137771
Related Items
Generalizations of the one-dimensional version of the Kruskal-Friedman theorems, Proof theory and ordinal analysis, Eine Funktionalinterpretation der prädikativen Analysis
Cites Work