Disambiguation evidence for Bachmann–Howard ordinal via surface form
"Bachmann–Howard ordinal"
Triples (2)
Triples where some other subject referred to this entity
as "Bachmann–Howard ordinal".
Kripke–Platek set theory
→
hasProofTheoreticOrdinal
→
"Bachmann–Howard ordinal"
ⓘ
↳ resolves to Bachmann–Howard ordinal