Kleene's O

In set theory and computability theory, Kleene's \mathcal{O} is a canonical subset of the natural numbers when regarded as ordinal notations. It contains ordinal notations for every recursive ordinal, that is, ordinals below Church–Kleene ordinal, \omega_1^{CK}. Since \omega_1^{CK} is the first ordinal not representable in a computable system of ordinal notations the elements of \mathcal{O} can be regarded as the canonical ordinal notations.

Kleene (1938) described a system of notation for all recursive ordinals (those less than the Church–Kleene ordinal). It uses a subset of the natural numbers instead of finite strings of symbols. Unfortunately, there is in general no effective way to tell whether some natural number represents an ordinal, or whether two numbers represent the same ordinal. However, one can effectively find notations which represent the ordinal sum, product, and power (see ordinal arithmetic) of any two given notations in Kleene's \mathcal{O}; and given any notation for an ordinal, there is a recursively enumerable set of notations which contains one element for each smaller ordinal and is effectively ordered.

Kleene's \mathcal{O}

The basic idea of Kleene's system of ordinal notations is to build up ordinals in an effective manner. For members  p of  \mathcal{O} , the ordinal for which  p is a notation is  | p | . The standard definition proceeds via transfinite induction and the ordering  <_{\mathcal{O}} (a partial ordering of Kleene's \mathcal{O}) is defined simultaneously.

This definition has the advantages that one can recursively enumerate the predecessors of a given ordinal (though not in the  <_\mathcal{O} ordering) and that the notations are downward closed, i.e., if there is a notation for  \gamma and  \alpha  < \gamma then there is a notation for  \alpha .

Basic properties of  <_\mathcal{O}

Properties of paths in \mathcal{O}

A path in  \mathcal{O} is a subset  \mathcal{P} of  \mathcal{O} which is totally ordered by  <_\mathcal{O} and is closed under predecessors, i.e. if  p is a member of a path  \mathcal{P} and  q <_\mathcal{O} p then  q is also a member of  \mathcal{P} . A path  \mathcal{P} is maximal if there is no element of  \mathcal{O} which is above (in the sense of  <_\mathcal{O} ) every member of  \mathcal{P} , otherwise  \mathcal{P} is non-maximal.

See also

References

This article is issued from Wikipedia - version of the Friday, August 09, 2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.