𝔖 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
The computer processing and interpretation of mass spectral information. IIβ€”computation of the degree of isotope labelling in organic compounds
✍ 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.