Ordinal definable

http://dbpedia.org/resource/Ordinal_definable

rdf:langString Ordinal definable
xsd:integer 15262904
xsd:integer 184826014
xsd:nonNegativeInteger 35

data from the linked data cloud