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.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Cut elimination for impredicative infinitary systems. Part II Ordinal analysis for iterated inductive definitions.”
Cut-elimination for impredicative infinitary systems. Part I. Ordinal-analysis for ID1.
A characterization of Takeuti's ordinal diagrams of finite order.
Kurt Schütte, Hilbert Levitz (1971)
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:
Natural well-orderings.
J.N. Crossley, J.B. Kister (1987)
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:
Generalized quantifiers and well orderings.
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hanf numbers and well-ordering numbers.
Jörg Flum (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The unique existential quantifier.
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On Kalmar's consistency proof and a generalization of the notion of ...-consistency.
George S. Boolos (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A note on proofs of falsehood.
Jan Krajicek (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: