Cut-elimination for impredicative infinitary systems. Part I. Ordinal-analysis for ID1.
W. Pohlers (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Definable Ramsey and definable Erdös ordinals.”
Cut-elimination for impredicative infinitary systems. Part I. Ordinal-analysis for ID1.
Cut elimination for impredicative infinitary systems. Part II Ordinal analysis for iterated inductive definitions.
W. Pohlers (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A characterization of Takeuti's ordinal diagrams of finite order.
Kurt Schütte, Hilbert Levitz (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On inaccessible cardinal numbers.
Alexander Abian (1969)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A classification of the ordinal recursive functions.
S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Natural well-orderings.
J.N. Crossley, J.B. Kister (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume.
Stephen G. Simpson (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Undecidability vs transfinite induction for the consistency of hyperarithmetical sets.
S. Caporaso, G. Pani (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A well-ordering proof for Feferman's theory To.
Gerhard Jäger (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Optimal bounds for ordinal comparison maps.
Peter Clote (1985)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: