Abstract
The current work studies the limitwise monotonic spectra introduced by Downey, Kach and Turetsky [6]. In the first part of the paper, we study the limitwise monotonic spectra of subsets and sequences of subsets of \(\mathbb N\). In particular, we study their measure-theoretical and topological properties. Then we generalize them to the spectra of subsets and sequences of subsets of \(\mathbb R\) and provide some new degree spectra of structures.
The work is supported by the Russian Science Foundation (grant no. 18-11-00028) and performed under the development program of Volga Region Mathematical Center (agreement no. 075-02-2020-1478).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ash, C.J., Knight, J.F.: Computable structures and the hyperarithmetical hierarchy, volume 144 of Studies in Logic and the Foundations of Mathematics. NorthHolland Publishing Co., Amsterdam (2000)
Calvert, W., Cenzer, D., Harizanov, V., Morozov, A.: Effective categoricity of equivalence structures. Ann. Pure Appl. Logic 141, 61–78 (2006)
Csima, B., Kalimullin, I.: Degree spectra and immunity properties. Math. Logic Q. 56(1), 67–77 (2010)
Diamondstone, D., Greenberg, N., Turetsky, D.: Natural large degree spectra. Computability 2(1), 1–8 (2013)
Downey, R., Jockusch, C.G.: Every low boolean algebra is isomorphic to a recursive one. Proc. Am. Math. Soc. 122(3), 871–880 (1994)
Downey, R., Kach, A., Turetsky, D.: Limitwise monotonic functions and their applications. In: Proceedings of the Eleventh Annual Asian Logic Conference, World Scientific, Hackensack, pp. 59–85, NJ (2012)
Faizrahmanov, M., Kalimullin, I.: Limitwise monotonic sets of reals. Math. Logic Q. 61(3), 224–229 (2015)
Frolov, A., Kalimullin, I., Harizanov, V., Kudinov, O., Miller, R.: Spectra of high\(_n\) and non-low\(_n\) degrees. J. Logic Comput. 22(4), 755–777 (2012)
Greenberg, N., Montalbán, A., Slaman, T.: Relative to any non-hyperarithmetic set. J. Math. Logic 13, 1250007 (2013)
Hirschfeldt, D.R., Khoussainov, B.M., Shore, R.A., Slinko, A.M.: Degree spectra and computable dimensions in algebraic structures. Ann. Pure Appl. Logic 115(1–3), 71–113 (2002)
Ishmukhametov, S.: Weak recursive degrees and a problem of Spector. Recursion Theor. Complexity (Kazan, 1997) 2, 81–87 (1999)
Kalimullin, I.: Spectra of degrees of some structures. Algebra Logic 46, 399–408 (2007)
Kalimullin, I., Faizrakhmanov, M.: Limitwise monotonic spectra of \(\varSigma ^0_2\)-sets. Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki (Russian) 154(2), 107–116 (2012)
Kalimullin, I., Faizrakhmanov, M.: Degrees of enumerations of countable Wehner-like families. In: Proceedings of the Seminar on Algebra and Mathematical Logic of the Kazan (Volga Region) Federal University, Itogi Nauki i Tekhniki. Ser. Sovrem. Mat. Pril. Temat. Obz. (Russian), vol. 157, pp. 59–69, VINITI, Moscow (2018)
Kalimullin, I., Khoussainov, B., Melnikov, A.: Limitwise monotonic sequences and degree spectra of structures. Proc. Am. Math. Soc. 141(9), 3275–3289 (2013)
Khisamiev, N.: Constructive abelian groups. In: Handbook of Recursive Mathematics, Vol. 2, volume 139 of Studies in Logic and the Foundations of Mathematics, pp. 1177–1231, North-Holland, Amsterdam (1998)
Khoussainov, B.: Strongly effective unars and nonautoequivalent constructivizations. In: Some problems in differential equations and discrete mathematics (Russian), pp. 33–44. Novosibirsk. Gos. Univ., Novosibirsk (1986)
Khoussainov, B., Nies, A., Shore, R.: Computable models of theories with few models. Notre Dame J. Formal Logic 38(2), 165–178 (1997)
Knight, J.F., Stob, M.: Computable boolean algebras. J. Symbolic Logic 65(4), 1605–1623 (2000)
Melnikov, A.G.: New degree spectra of abelian groups. Notre Dame J. Formal Logic 58(4), 507–525 (2017)
Nies, A.: Reals which compute little. In: Chatzidakis, Z, Koepke, P., Pohlers, W., (eds.) Proceedings of Logic Colloquium 2002, Lecture Notes in Logic, vol. 27, pp. 261–275 (2002)
Nies, A.: Lowness properties and randomness. Adv. Math. 197(1), 274–305 (2005)
Nies, A.: Computability and randomness. Oxford Logic Guides, vol. 51. Oxford University Press, Oxford (2009)
Richter, L.J.: Degrees of unsolvability of models, Ph.D. Thesis, University of Illinois at Urbana-Champaign (1977)
Slaman, T.: Relative to any nonrecursive set. Proc. Am. Math. Soc. 126(7), 2117–2122 (1998)
Soare, R.I.: Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computably Generated Sets. Perspectives in Mathematical Logic. Springer, Berlin (1987)
Stillwell, J.: Decidability of the almost all theory of degrees. J. Symbolic Logic 37(3), 501–506 (1972)
Wallbaum, J.: Computability of algebraic structures. Ph.D. Thesis, University of Notre Dame (2010)
Wehner, S.: Enumerations, countable structures and Turing degrees. Proc. Am. Math. Soc. 126(7), 2131–2139 (1998)
Yates, C.E.M.: On the degrees of index sets. II. Trans. Am. Math. Soc. 35, 249–266 (1969)
Acknowledgments
I am very grateful to the referees for the careful reading of the paper and for their comments and detailed suggestions, which helped me to improve the manuscript considerably.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Faizrahmanov, M. (2021). Limitwise Monotonic Spectra and Their Generalizations. In: De Mol, L., Weiermann, A., Manea, F., Fernández-Duque, D. (eds) Connecting with Computability. CiE 2021. Lecture Notes in Computer Science(), vol 12813. Springer, Cham. https://doi.org/10.1007/978-3-030-80049-9_17
Download citation
DOI: https://doi.org/10.1007/978-3-030-80049-9_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-80048-2
Online ISBN: 978-3-030-80049-9
eBook Packages: Computer ScienceComputer Science (R0)