Displaying similar documents to “Cut elimination for impredicative infinitary systems. Part II Ordinal analysis for iterated inductive definitions.”

Natural well-orderings.

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

Archiv für mathematische Logik und Grundlagenforschung

Similarity: