Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Large_countable_ordinal> ?p ?o }
- Large_countable_ordinal type Proof.
- Large_countable_ordinal comment "In the mathematical discipline of set theory, there are many ways of describing specific countable ordinals. The smallest ones can be usefully and non-circularly expressed in terms of their Cantor normal forms. Beyond that, many ordinals of relevance to proof theory still have computable ordinal notations.".
- Large_countable_ordinal label "Large countable ordinal".
- Large_countable_ordinal sameAs Grand_ordinal_dénombrable.
- Large_countable_ordinal sameAs Grandes_ordinais_contáveis.
- Large_countable_ordinal sameAs m.0bzzzn.
- Large_countable_ordinal sameAs Q3114739.
- Large_countable_ordinal sameAs Q3114739.
- Large_countable_ordinal wasDerivedFrom Large_countable_ordinal?oldid=677151249.
- Large_countable_ordinal isPrimaryTopicOf Large_countable_ordinal.