hasProofTheoreticOrdinal
P121197
predicate
Indicates that a formal system or theory is associated with a specific proof-theoretic ordinal measuring the strength of its provable transfinite induction or consistency.
Sample triples (1)
| Subject | Object |
|---|---|
| Kripke–Platek set theory | Bachmann–Howard ordinal ⓘ |