Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Recursive_ordinal> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- Recursive_ordinal abstract "In mathematics, specifically set theory, an ordinal is said to be recursive if there is a recursive well-ordering of a subset of the natural numbers having the order type .It is trivial to check that is recursive, the successor of a recursive ordinal is recursive, and the set of all recursive ordinals is closed downwards. The supremum of all recursive ordinals is called the Church-Kleene ordinal and denoted by . Indeed, an ordinal is recursive if and only if it is smaller than . Since there are only countably many recursive relations, there are also only countably many recursive ordinals. Thus, is countable.The recursive ordinals are exactly the ordinals that have an ordinal notation in Kleene's .".
- Recursive_ordinal wikiPageID "5173979".
- Recursive_ordinal wikiPageRevisionID "482901449".
- Recursive_ordinal hasPhotoCollection Recursive_ordinal.
- Recursive_ordinal subject Category:Computability_theory.
- Recursive_ordinal subject Category:Ordinal_numbers.
- Recursive_ordinal subject Category:Set_theory.
- Recursive_ordinal type Abstraction100002137.
- Recursive_ordinal type DefiniteQuantity113576101.
- Recursive_ordinal type Measure100033615.
- Recursive_ordinal type Number113582013.
- Recursive_ordinal type OrdinalNumber113597280.
- Recursive_ordinal type OrdinalNumbers.
- Recursive_ordinal comment "In mathematics, specifically set theory, an ordinal is said to be recursive if there is a recursive well-ordering of a subset of the natural numbers having the order type .It is trivial to check that is recursive, the successor of a recursive ordinal is recursive, and the set of all recursive ordinals is closed downwards. The supremum of all recursive ordinals is called the Church-Kleene ordinal and denoted by . Indeed, an ordinal is recursive if and only if it is smaller than .".
- Recursive_ordinal label "Recursive ordinal".
- Recursive_ordinal sameAs m.0d67p8.
- Recursive_ordinal sameAs Q7303347.
- Recursive_ordinal sameAs Q7303347.
- Recursive_ordinal sameAs Recursive_ordinal.
- Recursive_ordinal wasDerivedFrom Recursive_ordinal?oldid=482901449.
- Recursive_ordinal isPrimaryTopicOf Recursive_ordinal.