collaborators

1 paper

math.LO2017

On the Uniqueness Problem for Notations of Recursive Ordinals

Matthew Timothy Wright

In the article 'Ordinal Logics and the Characterizations of the Informal Concept of Proof', Georg Kreisel poses the problem of assigning unique notations to recursive ordinals, and…