http://caligraph.org/ontology/Ordinal_number

CaLiGraph

Property	Value
rdf:type	owl:Class
rdfs:label	Ordinal number
rdfs:subClassOf	Number
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Ordinal_numbers
is rdf:type of	Ordinal notation Nonrecursive ordinal Burali-Forti paradox Kleene's O Fixed-point lemma for normal functions Trillionth Buchholz's ordinal Club set Theories of iterated inductive definitions Order type Bachmann–Howard ordinal Billionth Feferman–Schütte ordinal Order topology Ordinal logic Additively indecomposable ordinal Diagonal intersection Ordinal arithmetic Buchholz psi functions Hundredth Takeuti–Feferman–Buchholz ordinal Stationary set Ordinal date Normal function Transfinite induction Binary Veblen function Epsilon number Weiermann's \vartheta function Ordinal collapsing function Veblen function Kleene's \mathcal{O} function Feferman's \theta function Buchholz hydra Large Veblen ordinal Admissible ordinal Nimber Successor ordinal Well-order Even and odd ordinals Systems of Logic Based on Ordinals Continuous function (set theory) Millionth Small Veblen ordinal Zero-based numbering Large countable ordinal Ordinal number Ordinal analysis Primitive recursive set function First uncountable ordinal Limit ordinal Ackermann ordinal Computable ordinal Cantor normal form Bird's \theta function
is rdfs:subClassOf of	Cardinal number

About: clgo:Ordinal_number