We say that a structure is categorical relative to n-decidable presentations (or autostable relative to n-constructivizations) if any two n-decidable copies of the structure are computably isomorphic. For n = 0, we have the classical definition of a computably categorical (autostable) structure. Downey, Kach, Lempp, Lewis, Montalb´an, and Turetsky proved that there is no simple syntactic characterization of computable categoricity. More formally, they showed that the index set of computably categorical structures is Π 11 -complete. Here we study index sets of n-decidable structures that are categorical relative to m-decidable presentations, for various m, n ∈ ω. If m ≥ n ≥ 0, then the index set is again Π 11 -complete, i.e., there is no nice description of the class of n-decidable structures that are categorical relative to m-decidable presentations. In the case m = n−1 ≥ 0, the index set is Π 04 -complete, while if 0 ≤ m ≤ n−2, the index set is Π 03 -complete.
Similar content being viewed by others
References
A. Fröhlich and J. Shepherdson, “Effective procedures in field theory,” Philos. Trans. Roy. Soc. London, Ser. A, 248, No. 950, 407–432 (1956).
A. I. Mal’tsev, “Constructive algebras. 1,” Usp. Mat. Nauk, 16, No. 3, 3–60 (1961).
A. I. Mal’tsev, “On recursive Abelian groups,” Dokl. Akad. Nauk SSSR, 146, No. 5, 1009–1012 (1962).
S. S. Goncharov, “Autostable models and algorithmic dimensions,” in Handbook of Recursive Mathematics, Vol. 1, Recursive Model Theory, Yu. L. Ershov et al. (eds.), Stud. Log. Found. Math., 138, Elsevier, Amsterdam (1998), pp. 261–287.
E. B. Fokina, V. Harizanov, and A. Melnikov, “Computable model theory,” in Turing’s Legacy: Developments from Turing’s Ideas in Logic, Lect. Notes Log., 42, R. Downey (ed.), Cambridge Univ. Press, Ass. Symb. Log., Cambridge (2014), pp. 124–194.
R. G. Downey, A.M. Kach, S. Lempp, A. E. M. Lewis-Pye, A. Montalbán, and D. D. Turetsky, “The complexity of computable categoricity,” Adv. Math., 268, 423–466 (2015).
S. S. Goncharov, “Problem of number of nonautoequivalent constructivizations,” Algebra and Logic, 19, No. 6, 401–414 (1980).
S. S. Goncharov, N. A Bazhenov, and M. I. Marchuk, “The index set of Boolean algebras autostable relative to strong constructivizations,” Sib. Math. J., 56, No. 3, 394–404 (2015).
S. S. Goncharov, “Degrees of autostability relative to strong constructivizations,” Trudy MIAN, 274, 119–129 (2011).
S. S. Goncharov, “On the autostability of almost prime models with respect to strong constructivizations,” Usp. Mat. Nauk, 65, No. 5(395), 107–142 (2010).
S. S. Goncharov, “Autostability of prime models with respect to strong constructivizations,” Algebra and Logic, 48, No. 6, 410–417 (2009).
S. S. Goncharov and M. I. Marchuk, “Index sets of constructive models that are autostable under strong constructivizations,” Vestnik NGU, Mat., Mekh., Inf., 13, No. 4, 43–67 (2013).
S. S. Goncharov, “Index sets of almost prime constructive models,” Vestnik NGU, Mat., Mekh., Inf., 13, No. 3, 38–52 (2013).
S. S. Goncharov and M. I. Marchuk, “Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations,” Algebra and Logic, 54, No. 2, 108–126 (2015).
S. S. Goncharov and M. I. Marchuk, “Index sets of constructive models of nontrivial signature autostable relative to strong constructivizations,” Dokl. AN, 461, No. 2, 140–142 (2015).
D. Marker, “Non Σ n axiomatizable almost strongly minimal theories,” J. Symb. Log., 54, No. 3, 921–927 (1989).
U. Andrews and J. S. Miller, “Spectra of theories and structures,” Proc. Am. Math. Soc., 143, No. 3, 1283–1298 (2015).
S. S. Goncharov and B. Khoussainov, “Complexity of theories of computable categorical models,” Algebra and Logic, 43, No. 6, 365–373 (2004).
E. B. Fokina, I. Kalimullin, and R. Miller, “Degrees of categoricity of computable structures,” Arch. Math. Log,, 49, No. 1, 51–67 (2010).
R. G. Downey, A. M. Kach, S. Lempp, and D. D. Turetsky, “Computable categoricity versus relative computable categoricity,” Fund. Math., 221, No. 2, 129–159 (2013).
S. S. Goncharov and Yu. L. Ershov, Constructive Models, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1999).
O. Kudinov, “An autostable 1-decidable model without a computable Scott family of ∃- formulas,” Algebra and Logic 35, No. 4, 255–260 (1996).
M. Kummer, S. Wehner, and X. Yi, “Discrete families of recursive functions and index sets,” Algebra and Logic, 33, No. 2, 85–94 (1994).
S. S. Goncharov, “Autostability and computable families of constructivizations,” Algebra and Logic, 14, No. 6, 392–409 (1975).
Author information
Authors and Affiliations
Corresponding authors
Additional information
(E. B. Fokina and D. Turetsky) Supported by Austrian Science Fund FWF (projects V 206 and I 1238).
(S. S. Goncharov and O. V. Kudinov) Supported by RFBR (project No. 13-01-91001-ANF_a) and by the Grants Council (under RF President) for State Aid of Leading Scientific Schools (grant NSh-860.2014.1).
Translated from Algebra i Logika, Vol. 54, No. 4, pp. 520–528, July-August, 2015.
Rights and permissions
About this article
Cite this article
Fokina, E.B., Goncharov, S.S., Harizanov, V. et al. Index Sets for n-Decidable Structures Categorical Relative to m-Decidable Presentations. Algebra Logic 54, 336–341 (2015). https://doi.org/10.1007/s10469-015-9353-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-015-9353-6