A Note on Constructive Ordinals
Akiko Kino · Annals of the Japan Association for Philosophy of Science · 1964
Recently we were told that, in his paper "On hierarchies and system of nota tions", Putnam defined a far rich schema D for systems of notations and proved that the predicate 'a belongs to such a system' is _??_•¿_??_.