𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Undecidability and 1-types in intervals of the computably enumerable degrees

✍ Scribed by Klaus Ambos-Spies; Denis R. Hirschfeldt; Richard A. Shore


Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
338 KB
Volume
106
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

✦ Synopsis


We show that the theory of the partial ordering of the computably enumerable degrees in any given nontrivial interval is undecidable and has uncountably many 1-types.


πŸ“œ SIMILAR VOLUMES


The computer processing and interpretati
✍ Yu. N. Sukharev; Yu. S. Nekrasov πŸ“‚ Article πŸ“… 1976 πŸ› John Wiley and Sons 🌐 English βš– 209 KB

## Abstract The program ISOMETA which processes the low resulution mass spectra and determines the degree of labelling in the molecular and fragment ions is described. The degree of labelling for any stable isotope (D, 13C, 15N, 18O, etc.) in compounds of known molecular formulae can be estimated.