isRecursiveOrdinal
P142098
predicate
Indicates that an ordinal has the property of being recursive, meaning its order structure can be fully described or generated by a computable (recursive) process.
Sample triples (1)
| Subject | Object |
|---|---|
| Feferman–Schütte ordinal | true ⓘ |