<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Turing jump - Page 4 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Turing_jump&amp;p=3">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Turing_jump&amp;p=5">3.Next</a>
</p>
<p>of the sequence of sets  for : </p>

<p>where  denotes the th prime.</p>

<p>The notation  or  is often used for the Turing jump of the empty set. It is read zero-jump or sometimes zero-prime.</p>

<p>Similarly,  is the th jump of the empty set. For finite , these sets are closely related to the <a href="page.php?w=arithmetic_hierarchy">arithmetic hierarchy</a>, and is in particular connected to <a href="page.php?w=Post%27s_theorem">Post's theorem</a>.</p>

<p>The jump can be iterated into <a href="page.php?w=transfinite_ordinal">transfinite ordinal</a>s:</p><p>
<a accesskey="1" href="page.php?w=Turing_jump&amp;p=3">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Turing_jump&amp;p=5">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
