Displaying similar documents to “Cut-elimination for impredicative infinitary systems. Part I. Ordinal-analysis for ID1.”

Natural well-orderings.

J.N. Crossley, J.B. Kister (1987)

Archiv für mathematische Logik und Grundlagenforschung

Similarity: