A Jump Inversion Theorem for the Degree Spectra |
| |
Authors: | Soskova, Alexandra A. Soskov, Ivan N. |
| |
Affiliation: | Faculty of Mathematics and Computer Science, Sofia University, 5 James Bourchier Blvd., 1164 Sofia, Bulgaria. |
| |
Abstract: | In the present article, we continue the study of the propertiesof the spectra of structures as sets of degrees initiated in[11]. Here, we consider the relationships between the spectraand the jump spectra. Our first result is that every jump spectrumis also a spectrum. The main result sounds like a Jump inversiontheorem. Namely, we show that if a spectrum is contained inthe set of the jumps of the degrees in some spectrum then thereexists a spectrum such that and is equal to the set of thejumps of the degrees in . |
| |
Keywords: | Turing degrees degree spectra forcing Marker's extensions enumerations |
本文献已被 Oxford 等数据库收录! |
|