Journal of Logic and Computation · 2008 · 43 citations · 11 references
Natural SciencesComputer ScienceMathematicsAlgorithmsNumber TheoryTheory Of ComputationAlgebraic Number TheoryComputational Number TheoryDegree SpectraInversion Theorems
In the present article, we continue the study of the properties of the spectra of structures as sets of degrees initiated in [11]. Here, we consider the relationships between the spectra and the jump spectra. Our first result is that every jump spectrum is also a spectrum. The main result sounds like a Jump inversion theorem. Namely, we show that if a spectrum 𝒜 is contained in the set of the jumps of the degrees in some spectrum ℬ then there exists a spectrum 𝒞 such that 𝒞⊆ℬ and 𝒜 is equal to the set of the jumps of the degrees in 𝒞.
11
Degrees coded in jumps of orderings
Julia F. Knight · Journal of Symbolic Logic · 1986 · 151 citations
Linda Jean Richter · Journal of Symbolic Logic · 1981 · 138 citations
Alan L. Selman · Mathematical logic quarterly · 1971 · 84 citations
Jumps of quasi-minimal enumeration degrees
Kevin McEvoy · Journal of Symbolic Logic · 1985 · 65 citations