๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Isolation and the Jump Operator

โœ Scribed by Guohua Wu


Publisher
John Wiley and Sons
Year
2001
Tongue
English
Weight
167 KB
Volume
47
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Splitting theorems and the jump operator
โœ R.G. Downey; Richard A. Shore ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 602 KB

We investigate the relationship of (jumps of) the degrees of splittings of a computably enumerable set and the degree of the set. We prove that there is a high computably enumerable set whose only proper splittings are Lowe.

A Jump Operator in Set Recursion
โœ Dag Normann ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 810 KB

A JUMP OPERATOR IN SET RECURSION by DAG NORMA" in Oslo (Norway) ## ' ~+ ~# ( e , F ) = k f 3 S is not a normal functional. Recursion in ''+3S does not satisfy stage comparison and that a subset of I is recursive in h+3S if and only if both it and its complement are semirecursive. The reason for t