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

A jump inversion theorem for the enumeration jump

โœ Scribed by I.N. Soskov


Publisher
Springer
Year
2000
Tongue
English
Weight
181 KB
Volume
39
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Jump Theorems for REA Operators
โœ Alistair H. Lachlan; Xiaoding Yi ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 269 KB

## Abstract In [2], Jockusch and Shore have introduced a new hierarchy of sets and operators called the REA hierarchy. In this note we prove analogues of the Friedberg Jump Theorem and the Sacks Jump Theorem for many REA operators. MSC: 03D25, 03D55.

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 microcell for the temperature-jump tec
โœ Detlev Riesner; Metin Colpan; John W. Randles ๐Ÿ“‚ Article ๐Ÿ“… 1982 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 895 KB

The volume of the sample in the temperature-jump technique was reduced from 1.2 ml to 80 pl. This was achieved by a simple modification of a commercially available cell. The sample is placed in a small chamber which is enclosed within a larger chamber containing buffered agarose gel. Sample and surr