Find link

language:

Find link is a tool written by Edward Betts.

searching for Turing jump 2 found (25 total)

Donald A. Martin (376 words) [view diff] exact match in snippet view article find links to article

that the only nontrivial definable Turing invariant functions are the Turing jump and its iterates through the transfinite. Martin made this conjecture

Reverse mathematics (4,792 words) [view diff] exact match in snippet view article find links to article

Feferman) Conservative over Peano arithmetic for arithmetical sentences The 'Turing jump' functional ∃ 2 {\displaystyle \exists ^{2}} expresses the existence