1 problem

Matching

The isomorphism conjecture for notational and ordinal normal forms
About 3 years old
Isomorphism conjecture. There is an isomorphism
opennotation-systems ordinal-analysis proof-theory
09