Cut-elimination for impredicative infinitary systems. Part I. Ordinal-analysis for ID1.
W. Pohlers (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: