Generalizations of the one-dimensional version of the Kruskal-Friedman theorems

DOI10.2307/2275019zbMath0721.03041OpenAlexW2040462567MaRDI QIDQ5752568

L. N. Gordeev

Publication date: 1989

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

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

zbMATH Keywords

cut eliminationreverse mathematicsone-dimensional case of Friedman's extension of Kruskal's theoremsecond-order conservative extension of Peano arithmetictransfinite iteration of Higman's theorem

Mathematics Subject Classification ID

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

Related Items (4)

How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems ⋮ Strong WQO Tree Theorems ⋮ Phase transitions of iterated Higman-style well-partial-orderings ⋮ Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees

Cites Work

• Proof-theoretical analysis: Weak systems of functions and classes
• Finite investigations of transfinite derivations
• The strength of admissibility without foundation
• Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
• Systems of predicative analysis
• Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik

This page was built for publication: Generalizations of the one-dimensional version of the Kruskal-Friedman theorems