recursive ordinal

countable ordinal that is the order type of a computable subset of the natural numbers