Cut-elimination for impredicative infinitary systems. Part I. Ordinal-analysis for ID1.
W. Pohlers (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
W. Pohlers (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Kurt Schütte, Hilbert Levitz (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
S. Caporaso, G. Pani (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
J.N. Crossley, J.B. Kister (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Gerhard Jäger (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Jörg Flum (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
George S. Boolos (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Jan Krajicek (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: