Constructive Versions of Ordinal Number Classes

Abstract

2) Note that we are using integers (set theoretic objects) rather than numerals (syntactical objects) as labels. Although the use of numerals would be closer to our motivation, the use of integers simplifies statements of theorems and proofs. For our purposes the distinction is of minor importance.