O de Kleene

Na teoria dos conjuntos e teoria da computação, $𝒪$ de Kleene é um sub conjunto canônico dos números naturais quando considerado como notação ordinal. Ele contém notações ordinais para cada ordinal recursivo, isto é, um ordinal sob os ordinais Church-Kleene ${\omega }_1^{CK}$. Desde ${\omega }_1^{CK}$ é o primeiro ordinal não representado num sistema de ordinais computáveis, os elementos de $𝒪$ podem ser considerados como notações ordinais canônicas.

Kleene (1938) descreve um sistema de notação para todos os ordinais recursivos (exceto os ordinais Church-Kleene). Ele usa um sub-conjunto de números naturais em vez de cadeias de símbolos finitas. Infelizmente, não existe um modo efetivo para dizer que um número natural representa um ordinal, ou então que dois números representam o mesmo ordinal. Contudo, podemos achar notações que representem uma soma, uma multiplicação e exponenciação de ordinais de quaisquer duas notações em O de Kleene $𝒪$; e dada qualquer notação de um ordinal, existe um conjunto enumerável recursivo de notações os quais contém um elemento para cada ordinal menor e é efetivamente ordenado.

$𝒪$ de Kleene

A ideia básica do sistema de notações ordinais de Kleene é construir ordinais de uma maneira eficiente. Para membros $p$ de $𝒪$, o ordinal para o qual $p$ é um notação é $|p|$. The definição comum procede por uma transdução infinita e a ordenação ${<}_{𝒪}$ (uma ordennação parcial de $𝒪$ de Kleene) é definida simutâneamente.

• O número natural 0 pertence à $𝒪$ de Kleene e $|0|=0$.
• Se $i$ pertence à $𝒪$ de Kleene e $|i|=\alpha$, então pertence à $2^i$ de Kleene e $𝒪$ e $|2^i|=\alpha +1$ and $i{<}_{𝒪}{2}^i$.
• Suponha $\{e\}$ é a $e$-sima função parcial recursiva. Se $e$ é total, com o alcance contido em $𝒪$, e para cada número natural $n$, nós temos $\{e\}(n){<}_{𝒪}\{e\}(n+1)$ então $3\cdot 5^e$ pertence à $𝒪$ de Kleene, $\{e\}(n){<}_{𝒪}3\cdot 5^e$ para cada $n$ e $|3\cdot 5^e|=\underset{k}{\lim }|\{e\}(k)|$, i.e. $3\cdot 5^e$ é uma notação para o limite dos ordinais ${\gamma }_k$ onde $|\{e\}(k)|={\gamma }_k$ para cada número natural $k$.
• $p{<}_{𝒪}q$ e $q{<}_{𝒪}r$ implica $p{<}_{𝒪}r$ (isso garante que ${<}_{𝒪}$ é transitiva.)

Esta definição tem a vantagem que pode-se enumerar recursivamente os predecessors de um dado ordinal (mas não através de ordenação ${<}_{𝒪}$) e que as notações são próximas, i. e, se existe uma notação para $\gamma$ e $\alpha <\gamma$ então existe uma notação para $\alpha$.

Propriedades básicas de ${<}_{𝒪}$

• Se $|i|=\alpha$ e $|j|=\beta$ e $i{<}_{𝒪}j,$ , então $\alpha <\beta$; mas o oposto pode não ser verdade;
• ${<}_{𝒪}$ induz a uma estrtura de árvore em $𝒪$, então $𝒪$ é bem-formado;
• $𝒪$ apenas se ramifica nos ordinais limitantes; e em cada notação de um ordinal limitante, $𝒪$ é ramificado infinitamente;
• O primeiro ordinal que n~so recebe uma representação é o ordinal Church-Kleene e é denotado por ${\omega }_1^{CK}$. Uma vez que existem muitas funções recursivas contáveis, o ordinal ${\omega }_1^{CK}$ é evidentemente contável.
• Os ordinais com a notação em $𝒪$ de Kleene são exatamente ordinais recursivos. (O fato que todo ordinal recursivo tem um notação que decorre do fecho do sistema de notação ordinal sob sucessor e limites efetivos.)
• ${<}_{𝒪}$ não é contável recursivamente, mas existe uma relação de enumeração recursiva que concorda com ${<}_{𝒪}$ precisamente em membros de .
• Para cada notação , o conjunto de notações sob é recursivamente enumerável. Contudo, $𝒪$ de Kleene, quando tomado como um todo, é ${\mathrm{\Pi }}_1^1$.
• De fato, $𝒪$ é ${\mathrm{\Pi }}_1^1$-completo e todo ${\mathrm{\Sigma }}_1^1$ sub-conjunto de $𝒪$ é limitado em $𝒪$.
• $𝒪$ é o sistema de notações ordinais universais no sentido de que qualquer conjunto específico de notações ordinais pode ser mapeada diretamente nele. Mais precisamente, existe uma função $f$ tal que se $e$ é um índice para uma ordenação, então $f(e)$ é um membro de $𝒪$ e ${<}_e$ é isomorficamente ordenada para um segmento inicial do conjunto $\{p\mid p{<}_{𝒪}f(e)\}$.
• Existe uma função recursiva ${+}_{𝒪}$, a qual, para membros de $𝒪$, imita uma adição ordinal e tem a propriedade $\max \{p,q\}\le p{+}_{𝒪}q$.(Jockusch)

Propriedades de caminhos em $𝒪$

Um caminho em $𝒪$ é um sub-conjunto $𝒫$ de $𝒪$ o qual é totalmente ordenado por <_\mathcal{O} </math> e é fechado sob a operação predecessor, i.e., se $p$ é um membro de um caminho $𝒫$ e $q{<}_{𝒪}p$ então $q$ também é um membro de $𝒫$. Um caminho $𝒫$ é máximo, se não existe elemento de $𝒪$,acima (no sentido de ${<}_{𝒪}$) de todos os membros de $𝒫$, do contrário $𝒫$ não é máximo.

• Um caminho $𝒫$ não é máximo se e somente se $𝒫$ é recursivamente enumerável (r.e.). Segue-se pela observação acima que cada elemento $p$ de $𝒪$ determina uma não-máximo de $𝒫$, e todo caminho não-máximo é então determinado.
• Existem $2^{{\mathrm{\aleph }}_0}$ caminhos máximos através de $𝒪$, uma vez que eles são máximos, eles não são recursivamente enumeráveis.
• De fato, existem $2^{{\mathrm{\aleph }}_0}$ caminhos máximos em $𝒪$ com comprimento ${\omega }^2$.(Crossley, Schütte)
• Para todo ordinal diferente $\lambda <{\omega }_1^{CK}$, existem $2^{{\mathrm{\aleph }}_0}$ caminhos máximos em $𝒪$ de comprimento ${\omega }^2\cdot \lambda$.(Aczel)
• Além disso, se $𝒫$ é um caminho cujo comprimento não é múltiplo de ${\omega }^2$, então $𝒫$ não é máximo. (Aczel)
• Para cada grau $d$ recursivamente enumerável, existe um membro $e_d$ de $𝒪$ tal que o caminho $𝒫=\{p\mid p{<}_{𝒪}{e}_d\}$ tem mais de um grau $d$. De fato, para cada ordinal recursivo $\alpha \ge {\omega }^2$, a notação $e_d$ existe $|e_d|=\alpha$.(Jockusch)
• Existem ${\mathrm{\aleph }}_0$ caminhos através de $𝒪$ os quais são ${\mathrm{\Pi }}_1^1$.Dado o avanço das teorias recursivamente enumeráveis baseadas na iteração Reflexão Uniforme (Uniform Reflection), cada caminho desse é imcompleto com respeito ao conjunto verdade ${\mathrm{\Pi }}_1^0$ sentenças.(Feferman & Spector)
• Existem ${\mathrm{\Pi }}_1^1$ cominhos por $𝒪$ onde cada segmento inicial do qual não é meramente r.e., mas recursivo. (Jockusch)
• Vários outros caminhos em $𝒪$ tem sido descobertos, cada um tipos específicos de propriedades de redutibilidade.

Referências

• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation
• Predefinição:Citation