Abstract
Two properties of the Co-spectrum of the Joint spectrum of finitely many abstract structures are presented — a Minimal Pair type theorem and the existence of a Quasi-Minimal degree with respect to the Joint spectrum of the structures.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ash, C.J., Jockush, C., Knight, J.F.: Jumps of orderings. Trans. Amer. Math. Soc. 319, 573–599 (1990)
Cooper, S.B.: Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ2 sets are dense. J. Symbolic Logic 49, 503–513 (1984)
Downey, R.G., Knight, J.F.: Orderings with αth jump degree 0(α). Proc. Amer. Math. Soc. 114, 545–552 (1992)
Knight, J.F.: Degrees coded in jumps of orderings. J. Symbolic Logic 51, 1034–1042 (1986)
Richter, L.J.: Degrees of structures. J. Symbolic Logic 46, 723–731 (1981)
Soskov, I.N.: A jump inversion theorem for the enumeration jump. Arch. Math. Logic 39, 417–437 (2000)
Soskov, I.N.: Degree spectra and co-spectra of structures. Ann. Univ. Sofia 96, 45–68 (2003)
Soskova, A.A., Soskov, I.N.: Co-spectra of joint spectra of structures. Ann. Univ. Sofia 96, 35–44 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Soskova, A.A. (2005). Minimal Pairs and Quasi-minimal Degrees for the Joint Spectra of Structures. In: Cooper, S.B., Löwe, B., Torenvliet, L. (eds) New Computational Paradigms. CiE 2005. Lecture Notes in Computer Science, vol 3526. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11494645_56
Download citation
DOI: https://doi.org/10.1007/11494645_56
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26179-7
Online ISBN: 978-3-540-32266-5
eBook Packages: Computer ScienceComputer Science (R0)