Bazhenov, Nikolay; Rossegger, Dino; Zubkov, Maxim On bi-embeddable categoricity of algebraic structures. (English) Zbl 07458665 Ann. Pure Appl. Logic 173, No. 3, Article ID 103060, 18 p. (2022). MSC: 03C57 03D45 06A05 06E05 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Ann. Pure Appl. Logic 173, No. 3, Article ID 103060, 18 p. (2022; Zbl 07458665) Full Text: DOI arXiv OpenURL
Goncharov, S. S.; Marchuk, M. I. The degree of decidable categoricity of a model with infinite solutions for complete formulas. (English. Russian original) Zbl 07436580 Algebra Logic 60, No. 3, 200-206 (2021); translation from Algebra Logika 60, No. 3, 303-312 (2021). MSC: 03-XX 20-XX PDF BibTeX XML Cite \textit{S. S. Goncharov} and \textit{M. I. Marchuk}, Algebra Logic 60, No. 3, 200--206 (2021; Zbl 07436580); translation from Algebra Logika 60, No. 3, 303--312 (2021) Full Text: DOI OpenURL
Bazhenov, Nikolay HKSS-completeness of modal algebras. (English) Zbl 07411056 Sib. Èlektron. Mat. Izv. 18, 923-930 (2021). MSC: 03C57 PDF BibTeX XML Cite \textit{N. Bazhenov}, Sib. Èlektron. Mat. Izv. 18, 923--930 (2021; Zbl 07411056) Full Text: DOI OpenURL
Bazhenov, N. A.; Marchuk, M. I. On categoricity spectra for locally finite graphs. (English. Russian original) Zbl 07401175 Sib. Math. J. 62, No. 5, 796-804 (2021); translation from Sib. Mat. Zh. 62, No. 5, 983-994 (2021). MSC: 03Dxx 03Cxx 03-XX PDF BibTeX XML Cite \textit{N. A. Bazhenov} and \textit{M. I. Marchuk}, Sib. Math. J. 62, No. 5, 796--804 (2021; Zbl 07401175); translation from Sib. Mat. Zh. 62, No. 5, 983--994 (2021) Full Text: DOI OpenURL
Bazhenov, N. A. Categoricity spectra of computable structures. (English. Russian original) Zbl 07364537 J. Math. Sci., New York 256, No. 1, 34-50 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 42-58 (2018). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{N. A. Bazhenov}, J. Math. Sci., New York 256, No. 1, 34--50 (2021; Zbl 07364537); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 42--58 (2018) Full Text: DOI OpenURL
Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca Degrees of bi-embeddable categoricity. (English) Zbl 07363322 Computability 10, No. 1, 1-16 (2021). MSC: 03Dxx PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Computability 10, No. 1, 1--16 (2021; Zbl 07363322) Full Text: DOI arXiv OpenURL
Turetsky, Dan Coding in the automorphism group of a computably categorical structure. (English) Zbl 1477.03147 J. Math. Log. 20, No. 3, Article ID 2050016, 24 p. (2020). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{D. Turetsky}, J. Math. Log. 20, No. 3, Article ID 2050016, 24 p. (2020; Zbl 1477.03147) Full Text: DOI arXiv OpenURL
Bazhenov, N. A.; Kalimullin, I. Sh.; Yamaleev, M. M. Strong degrees of categoricity and weak density. (English) Zbl 07272819 Lobachevskii J. Math. 41, No. 9, 1630-1639 (2020). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{N. A. Bazhenov} et al., Lobachevskii J. Math. 41, No. 9, 1630--1639 (2020; Zbl 07272819) Full Text: DOI OpenURL
Goncharov, S. S.; Harizanov, V.; Miller, R. On decidable categoricity and almost prime models. (English) Zbl 1446.03069 Sib. Adv. Math. 30, No. 3, 200-212 (2020). MSC: 03C57 03C35 03D45 PDF BibTeX XML Cite \textit{S. S. Goncharov} et al., Sib. Adv. Math. 30, No. 3, 200--212 (2020; Zbl 1446.03069) Full Text: DOI OpenURL
Bazhenov, N.; Marchuk, M. A note on decidable categoricity and index sets. (English) Zbl 1443.03020 Sib. Èlektron. Mat. Izv. 17, 1013-1026 (2020). MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{N. Bazhenov} and \textit{M. Marchuk}, Sib. Èlektron. Mat. Izv. 17, 1013--1026 (2020; Zbl 1443.03020) Full Text: DOI OpenURL
Carson, Jacob; Cenzer, Douglas; Remmel, Jeffrey B. Effective categoricity of automatic equivalence and nested equivalence structures. (English) Zbl 07240648 Theory Comput. Syst. 64, No. 6, 1110-1139 (2020). MSC: 03C57 03C35 PDF BibTeX XML Cite \textit{J. Carson} et al., Theory Comput. Syst. 64, No. 6, 1110--1139 (2020; Zbl 07240648) Full Text: DOI OpenURL
Bazhenov, Nikolay; Goncharov, Sergey; Melnikov, Alexander Decompositions of decidable abelian groups. (English) Zbl 07167884 Int. J. Algebra Comput. 30, No. 1, 49-90 (2020). MSC: 03C57 03D45 20K10 20K15 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Int. J. Algebra Comput. 30, No. 1, 49--90 (2020; Zbl 07167884) Full Text: DOI OpenURL
Miller, Russell Isomorphism and classification for countable structures. (English) Zbl 1453.03032 Computability 8, No. 2, 99-117 (2019). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 03C35 PDF BibTeX XML Cite \textit{R. Miller}, Computability 8, No. 2, 99--117 (2019; Zbl 1453.03032) Full Text: DOI arXiv OpenURL
Bazhenov, Nikolay; Mustafa, Manat; Yamaleev, Mars Computable isomorphisms of distributive lattices. (English) Zbl 07117268 Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 15th annual conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11436, 28-41 (2019). MSC: 68Q05 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Lect. Notes Comput. Sci. 11436, 28--41 (2019; Zbl 07117268) Full Text: DOI OpenURL
Blinov, K. V. Primitively recursively categorical linear orderings. (English. Russian original) Zbl 1477.03145 Sib. Math. J. 60, No. 1, 20-26 (2019); translation from Sib. Mat. Zh. 60, No. 1, 28-36 (2019). MSC: 03C57 03D45 06A05 PDF BibTeX XML Cite \textit{K. V. Blinov}, Sib. Math. J. 60, No. 1, 20--26 (2019; Zbl 1477.03145); translation from Sib. Mat. Zh. 60, No. 1, 28--36 (2019) Full Text: DOI OpenURL
Downey, Rod; Melnikov, Alexander; Ng, Keng Meng Categorical linearly ordered structures. (English) Zbl 1435.03076 Ann. Pure Appl. Logic 170, No. 10, 1243-1255 (2019). Reviewer: Jamalbek Tussupov (Astana) MSC: 03D45 03C57 03D75 03D80 PDF BibTeX XML Cite \textit{R. Downey} et al., Ann. Pure Appl. Logic 170, No. 10, 1243--1255 (2019; Zbl 1435.03076) Full Text: DOI OpenURL
Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca Degrees of bi-embeddable categoricity of equivalence structures. (English) Zbl 1477.03143 Arch. Math. Logic 58, No. 5-6, 543-563 (2019). MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{N. Bazhenov} et al., Arch. Math. Logic 58, No. 5--6, 543--563 (2019; Zbl 1477.03143) Full Text: DOI arXiv OpenURL
Fokina, Ekaterina; Harizanov, Valentina; Turetsky, Daniel Computability-theoretic categoricity and Scott families. (English) Zbl 1441.03031 Ann. Pure Appl. Logic 170, No. 6, 699-717 (2019). Reviewer: Jamalbek Tussupov (Astana) MSC: 03D45 03C57 03D80 PDF BibTeX XML Cite \textit{E. Fokina} et al., Ann. Pure Appl. Logic 170, No. 6, 699--717 (2019; Zbl 1441.03031) Full Text: DOI OpenURL
Alaev, P. E. Categoricity for primitive recursive and polynomial Boolean algebras. (English. Russian original) Zbl 07035850 Algebra Logic 57, No. 4, 251-274 (2018); translation from Algebra Logika 57, No. 4, 389-425 (2018). MSC: 03C57 03D45 03C35 06E05 PDF BibTeX XML Cite \textit{P. E. Alaev}, Algebra Logic 57, No. 4, 251--274 (2018; Zbl 07035850); translation from Algebra Logika 57, No. 4, 389--425 (2018) Full Text: DOI OpenURL
Bazhenov, N. A.; Fokina, E. B.; Rossegger, D.; San Mauro, L. Computable bi-embeddable categoricity. (English. Russian original) Zbl 07035681 Algebra Logic 57, No. 5, 392-396 (2018); translation from Algebra Logika 57, No. 5, 601-608 (2018). MSC: 03C57 03D45 03C35 PDF BibTeX XML Cite \textit{N. A. Bazhenov} et al., Algebra Logic 57, No. 5, 392--396 (2018; Zbl 07035681); translation from Algebra Logika 57, No. 5, 601--608 (2018) Full Text: DOI OpenURL
Bazhenov, N. A.; Marchuk, M. I. Degrees of autostability for prime Boolean algebras. (English. Russian original) Zbl 06979342 Algebra Logic 57, No. 2, 98-114 (2018); translation from Algebra Logika 57, No. 2, 149-174 (2018). MSC: 03C57 03D45 06E05 PDF BibTeX XML Cite \textit{N. A. Bazhenov} and \textit{M. I. Marchuk}, Algebra Logic 57, No. 2, 98--114 (2018; Zbl 06979342); translation from Algebra Logika 57, No. 2, 149--174 (2018) Full Text: DOI OpenURL
Bazhenov, Nikolay; Marchuk, Margarita Degrees of categoricity for prime and homogeneous models. (English) Zbl 06932456 Manea, Florin (ed.) et al., Sailing routes in the world of computation. 14th conference on computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10936, 40-49 (2018). MSC: 68Qxx PDF BibTeX XML Cite \textit{N. Bazhenov} and \textit{M. Marchuk}, Lect. Notes Comput. Sci. 10936, 40--49 (2018; Zbl 06932456) Full Text: DOI OpenURL
Walker, Hakim J. Computable isomorphisms for certain classes of infinite graphs. (English) Zbl 06916017 J. Knot Theory Ramifications 27, No. 7, Article ID 1841012, 17 p. (2018). MSC: 03-XX PDF BibTeX XML Cite \textit{H. J. Walker}, J. Knot Theory Ramifications 27, No. 7, Article ID 1841012, 17 p. (2018; Zbl 06916017) Full Text: DOI arXiv OpenURL
Greenberg, Noam; Melnikov, Alexander G.; Knight, Julia F.; Turetsky, Daniel Uniform procedures in uncountable structures. (English) Zbl 06915712 J. Symb. Log. 83, No. 2, 529-550 (2018). MSC: 03D45 PDF BibTeX XML Cite \textit{N. Greenberg} et al., J. Symb. Log. 83, No. 2, 529--550 (2018; Zbl 06915712) Full Text: DOI Link OpenURL
Alaev, P. E. Structures computable in polynomial time. II. (English. Russian original) Zbl 1420.03105 Algebra Logic 56, No. 6, 429-442 (2018); translation from Algebra Logika 56, No. 6, 651-670 (2017). MSC: 03D45 03C57 03D15 PDF BibTeX XML Cite \textit{P. E. Alaev}, Algebra Logic 56, No. 6, 429--442 (2018; Zbl 1420.03105); translation from Algebra Logika 56, No. 6, 651--670 (2017) Full Text: DOI OpenURL
Melnikov, Alexander G. Torsion-free abelian groups with optimal Scott families. (English) Zbl 06887312 J. Math. Log. 18, No. 1, Article ID 1850002, 47 p. (2018). MSC: 03D50 03D45 PDF BibTeX XML Cite \textit{A. G. Melnikov}, J. Math. Log. 18, No. 1, Article ID 1850002, 47 p. (2018; Zbl 06887312) Full Text: DOI OpenURL
Bazhenov, Nikolay A.; Kalimullin, Iskander Sh.; Yamaleev, Mars M. Degrees of categoricity and spectral dimension. (English) Zbl 1447.03008 J. Symb. Log. 83, No. 1, 103-116 (2018). MSC: 03D45 03C57 03C35 03D28 PDF BibTeX XML Cite \textit{N. A. Bazhenov} et al., J. Symb. Log. 83, No. 1, 103--116 (2018; Zbl 1447.03008) Full Text: DOI OpenURL
Melnikov, Alexander G.; Ng, Keng Meng Computable torsion abelian groups. (English) Zbl 1470.03018 Adv. Math. 325, 864-907 (2018). MSC: 03C57 03C60 03D15 20K10 PDF BibTeX XML Cite \textit{A. G. Melnikov} and \textit{K. M. Ng}, Adv. Math. 325, 864--907 (2018; Zbl 1470.03018) Full Text: DOI OpenURL
Tyrrell, Brian Scott sentences in uncountable structures. (English) Zbl 1398.03156 Undergrad. Math J. 18, No. 1, 237-261 (2017). MSC: 03C75 03C15 03C35 03C57 PDF BibTeX XML Cite \textit{B. Tyrrell}, Undergrad. Math J. 18, No. 1, 237--261 (2017; Zbl 1398.03156) Full Text: Link OpenURL
Bazhenov, N. A.; Frolov, A. N.; Kalimullin, I. Sh.; Melnikov, A. G. Computability of distributive lattices. (English. Russian original) Zbl 1469.03121 Sib. Math. J. 58, No. 6, 959-970 (2017); translation from Sib. Mat. Zh. 58, No. 6, 1236-1251 (2017). MSC: 03D45 03C57 PDF BibTeX XML Cite \textit{N. A. Bazhenov} et al., Sib. Math. J. 58, No. 6, 959--970 (2017; Zbl 1469.03121); translation from Sib. Mat. Zh. 58, No. 6, 1236--1251 (2017) Full Text: DOI OpenURL
Adams, Francis; Cenzer, Douglas Computability and categoricity of weakly ultrahomogeneous structures. (English) Zbl 1420.03069 Computability 6, No. 4, 365-389 (2017). MSC: 03C57 03D45 03C35 03C50 PDF BibTeX XML Cite \textit{F. Adams} and \textit{D. Cenzer}, Computability 6, No. 4, 365--389 (2017; Zbl 1420.03069) Full Text: DOI arXiv OpenURL
Kalimullin, I. S.; Melnikov, A. G.; Ng, K. M. The diversity of categoricity without delay. (English. Russian original) Zbl 1423.03151 Algebra Logic 56, No. 2, 171-177 (2017); translation from Algebra Logika 56, No. 2, 256-266 (2017). MSC: 03D45 03C57 03C35 PDF BibTeX XML Cite \textit{I. S. Kalimullin} et al., Algebra Logic 56, No. 2, 171--177 (2017; Zbl 1423.03151); translation from Algebra Logika 56, No. 2, 256--266 (2017) Full Text: DOI OpenURL
Bazhenov, N. A. Effective categoricity for distributive lattices and Heyting algebras. (English) Zbl 1420.03070 Lobachevskii J. Math. 38, No. 4, 600-614 (2017). MSC: 03C57 03D45 03C35 06D05 06D20 PDF BibTeX XML Cite \textit{N. A. Bazhenov}, Lobachevskii J. Math. 38, No. 4, 600--614 (2017; Zbl 1420.03070) Full Text: DOI OpenURL
Csima, Barbara F.; Harrison-Trainor, Matthew Degrees of categoricity on a cone via \(\eta\)-systems. (English) Zbl 1386.03049 J. Symb. Log. 82, No. 1, 325-346 (2017). Reviewer: Valery Plisko (Moskva) MSC: 03D45 03C57 03D28 PDF BibTeX XML Cite \textit{B. F. Csima} and \textit{M. Harrison-Trainor}, J. Symb. Log. 82, No. 1, 325--346 (2017; Zbl 1386.03049) Full Text: DOI arXiv Link OpenURL
Bazhenov, Nikolay A note on effective categoricity for linear orderings. (English) Zbl 1459.03045 Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 85-96 (2017). MSC: 03C57 03D45 03C35 06A05 PDF BibTeX XML Cite \textit{N. Bazhenov}, Lect. Notes Comput. Sci. 10185, 85--96 (2017; Zbl 1459.03045) Full Text: DOI OpenURL
Kogabaev, N. T. \(\prod_1^1\)-completeness of the computable categoricity problem for projective planes. (English. Russian original) Zbl 1402.03049 Algebra Logic 55, No. 4, 283-288 (2016); translation from Algebra Logika 55, No. 4, 432-440 (2016). MSC: 03C57 03D45 03C35 51A05 PDF BibTeX XML Cite \textit{N. T. Kogabaev}, Algebra Logic 55, No. 4, 283--288 (2016; Zbl 1402.03049); translation from Algebra Logika 55, No. 4, 432--440 (2016) Full Text: DOI OpenURL
Bazhenov, N. A. Degrees of autostability for linear orders and linearly ordered abelian groups. (English. Russian original) Zbl 1402.03065 Algebra Logic 55, No. 4, 257-273 (2016); translation from Algebra Logika 55, No. 4, 393-418 (2016). MSC: 03D45 03C57 03D28 06F20 PDF BibTeX XML Cite \textit{N. A. Bazhenov}, Algebra Logic 55, No. 4, 257--273 (2016; Zbl 1402.03065); translation from Algebra Logika 55, No. 4, 393--418 (2016) Full Text: DOI OpenURL
Bazhenov, N. A.; Kalimullin, Iskander Sh.; Yamaleev, M. M. Degrees of categoricity vs. strong degrees of categoricity. (English. Russian original) Zbl 1402.03066 Algebra Logic 55, No. 2, 173-177 (2016); translation from Algebra Logika 55, No. 2, 257-263 (2016). MSC: 03D45 03C57 03C35 03D28 PDF BibTeX XML Cite \textit{N. A. Bazhenov} et al., Algebra Logic 55, No. 2, 173--177 (2016; Zbl 1402.03066); translation from Algebra Logika 55, No. 2, 257--263 (2016) Full Text: DOI OpenURL
Bazhenov, N. A. Degrees of autostability relative to strong constructivizations for Boolean algebras. (English. Russian original) Zbl 1402.03064 Algebra Logic 55, No. 2, 87-102 (2016); translation from Algebra Logika 55, No. 2, 133-155 (2016). MSC: 03D45 03C57 03D28 06E05 PDF BibTeX XML Cite \textit{N. A. Bazhenov}, Algebra Logic 55, No. 2, 87--102 (2016; Zbl 1402.03064); translation from Algebra Logika 55, No. 2, 133--155 (2016) Full Text: DOI OpenURL
Bazhenov, Nikolay Categoricity spectra for polymodal algebras. (English) Zbl 1417.03233 Stud. Log. 104, No. 6, 1083-1097 (2016). MSC: 03C57 03C35 03D45 03D28 06E25 PDF BibTeX XML Cite \textit{N. Bazhenov}, Stud. Log. 104, No. 6, 1083--1097 (2016; Zbl 1417.03233) Full Text: DOI OpenURL
Tussupov, D. A. Isomorphisms and algorithmic properties of structures with two equivalences. (English. Russian original) Zbl 1420.03107 Algebra Logic 55, No. 1, 50-57 (2016); translation from Algebra Logika 55, No. 1, 75-86 (2016). MSC: 03D45 03C57 03C35 03D55 PDF BibTeX XML Cite \textit{D. A. Tussupov}, Algebra Logic 55, No. 1, 50--57 (2016; Zbl 1420.03107); translation from Algebra Logika 55, No. 1, 75--86 (2016) Full Text: DOI OpenURL
Anderson, Bernard; Csima, Barbara Degrees that are not degrees of categoricity. (English) Zbl 1436.03229 Notre Dame J. Formal Logic 57, No. 3, 389-398 (2016). MSC: 03D45 03D30 03C57 PDF BibTeX XML Cite \textit{B. Anderson} and \textit{B. Csima}, Notre Dame J. Formal Logic 57, No. 3, 389--398 (2016; Zbl 1436.03229) Full Text: DOI arXiv Euclid OpenURL
Downey, Rodney; Melnikov, Alexander G.; Ng, Keng Meng Abelian \(p\)-groups and the halting problem. (English) Zbl 1402.03067 Ann. Pure Appl. Logic 167, No. 11, 1123-1138 (2016). MSC: 03D45 03C57 20K99 PDF BibTeX XML Cite \textit{R. Downey} et al., Ann. Pure Appl. Logic 167, No. 11, 1123--1138 (2016; Zbl 1402.03067) Full Text: DOI OpenURL
Melnikov, Alexander G.; Ng, Keng Meng Computable structures and operations on the space of continuous functions. (English) Zbl 1393.03025 Fundam. Math. 233, No. 2, 101-141 (2016). MSC: 03D45 03C57 03D80 PDF BibTeX XML Cite \textit{A. G. Melnikov} and \textit{K. M. Ng}, Fundam. Math. 233, No. 2, 101--141 (2016; Zbl 1393.03025) Full Text: DOI Link OpenURL
Fokina, Ekaterina; Frolov, Andrey; Kalimullin, Iskander Categoricity spectra for rigid structures. (English) Zbl 1359.03030 Notre Dame J. Formal Logic 57, No. 1, 45-57 (2016). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 03C35 03D28 PDF BibTeX XML Cite \textit{E. Fokina} et al., Notre Dame J. Formal Logic 57, No. 1, 45--57 (2016; Zbl 1359.03030) Full Text: DOI Link OpenURL
Frolov, A. N. Effective categoricity of computable linear orderings. (English. Russian original) Zbl 1361.03044 Algebra Logic 54, No. 5, 415-417 (2015); translation from Algebra Logika 54, No. 5, 638-642 (2015). MSC: 03D45 03C57 06A05 03C35 PDF BibTeX XML Cite \textit{A. N. Frolov}, Algebra Logic 54, No. 5, 415--417 (2015; Zbl 1361.03044); translation from Algebra Logika 54, No. 5, 638--642 (2015) Full Text: DOI OpenURL
Tussupov, J. A. Categoricity and complexity of relations over algebraic structures. (English. Russian original) Zbl 1361.03034 Algebra Logic 54, No. 5, 408-414 (2015); translation from Algebra Logika 54, No. 5, 628-637 (2015). MSC: 03C57 03C35 03D45 PDF BibTeX XML Cite \textit{J. A. Tussupov}, Algebra Logic 54, No. 5, 408--414 (2015; Zbl 1361.03034); translation from Algebra Logika 54, No. 5, 628--637 (2015) Full Text: DOI OpenURL
Kogabaev, N. T. The theory of projective planes is complete with respect to degree spectra and effective dimensions. (English. Russian original) Zbl 1375.03038 Algebra Logic 54, No. 5, 387-407 (2015); translation from Algebra Logika 54, No. 5, 599-627 (2015). MSC: 03C57 51E15 51A05 03D45 PDF BibTeX XML Cite \textit{N. T. Kogabaev}, Algebra Logic 54, No. 5, 387--407 (2015; Zbl 1375.03038); translation from Algebra Logika 54, No. 5, 599--627 (2015) Full Text: DOI OpenURL
Alaev, P. E. Ash’s theorem on \(\Delta_{\alpha}^{0}\)-categorical structures and a condition for infinite \(\Delta_{\alpha}^{0}\)-dimension. (English. Russian original) Zbl 1375.03051 Algebra Logic 54, No. 5, 353-369 (2015); translation from Algebra Logika 54, No. 5, 551-574 (2015). MSC: 03D45 03C57 03C35 PDF BibTeX XML Cite \textit{P. E. Alaev}, Algebra Logic 54, No. 5, 353--369 (2015; Zbl 1375.03051); translation from Algebra Logika 54, No. 5, 551--574 (2015) Full Text: DOI OpenURL
Fokina, E. B.; Goncharov, S. S.; Harizanov, V.; Kudinov, O. V.; Turetsky, D. Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations. (English. Russian original) Zbl 1375.03036 Algebra Logic 54, No. 4, 336-341 (2015); translation from Algebra Logika 54, No. 4, 520-528 (2015). MSC: 03C57 03C35 03D45 PDF BibTeX XML Cite \textit{E. B. Fokina} et al., Algebra Logic 54, No. 4, 336--341 (2015; Zbl 1375.03036); translation from Algebra Logika 54, No. 4, 520--528 (2015) Full Text: DOI OpenURL
Johnson, J.; Knight, J. F.; Ocasio, V.; Tussupov, J.; VanDenDriessche, S. Preserving categoricity and complexity of relations. (English. Russian original) Zbl 1337.03065 Algebra Logic 54, No. 2, 140-154 (2015); translation from Algebra Logika 54, No. 2, 212-235 (2015). MSC: 03D60 03C57 03C35 03D45 PDF BibTeX XML Cite \textit{J. Johnson} et al., Algebra Logic 54, No. 2, 140--154 (2015; Zbl 1337.03065); translation from Algebra Logika 54, No. 2, 212--235 (2015) Full Text: DOI OpenURL
Bazhenov, N. A. The branching theorem and computable categoricity in the Ershov hierarchy. (English. Russian original) Zbl 1337.03062 Algebra Logic 54, No. 2, 91-104 (2015); translation from Algebra Logika 54, No. 2, 137-157 (2015). MSC: 03D45 03C57 03C35 03D55 PDF BibTeX XML Cite \textit{N. A. Bazhenov}, Algebra Logic 54, No. 2, 91--104 (2015; Zbl 1337.03062); translation from Algebra Logika 54, No. 2, 137--157 (2015) Full Text: DOI OpenURL
Harris, Charles M. On limitwise monotonicity and maximal block functions. (English) Zbl 1337.03064 Computability 4, No. 2, 119-139 (2015). MSC: 03D45 PDF BibTeX XML Cite \textit{C. M. Harris}, Computability 4, No. 2, 119--139 (2015; Zbl 1337.03064) Full Text: DOI OpenURL
Downey, Rod; Melnikov, Alexander G.; Ng, Keng Meng On \(\Delta_2^0\)-categoricity of equivalence relations. (English) Zbl 1386.03050 Ann. Pure Appl. Logic 166, No. 9, 851-880 (2015). MSC: 03D45 03C57 03D25 PDF BibTeX XML Cite \textit{R. Downey} et al., Ann. Pure Appl. Logic 166, No. 9, 851--880 (2015; Zbl 1386.03050) Full Text: DOI OpenURL
Hirschfeldt, Denis R.; Kramer, Ken; Miller, Russell; Shlapentokh, Alexandra Categoricity properties for computable algebraic fields. (English) Zbl 1347.03082 Trans. Am. Math. Soc. 367, No. 6, 3981-4017 (2015). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D45 03C57 03C35 12L12 PDF BibTeX XML Cite \textit{D. R. Hirschfeldt} et al., Trans. Am. Math. Soc. 367, No. 6, 3981--4017 (2015; Zbl 1347.03082) Full Text: DOI arXiv OpenURL
Miller, Russell; Shlapentokh, Alexandra Computable categoricity for algebraic fields with splitting algorithms. (English) Zbl 1375.03052 Trans. Am. Math. Soc. 367, No. 6, 3955-3980 (2015). MSC: 03D45 03C57 03C35 12E05 12L12 PDF BibTeX XML Cite \textit{R. Miller} and \textit{A. Shlapentokh}, Trans. Am. Math. Soc. 367, No. 6, 3955--3980 (2015; Zbl 1375.03052) Full Text: DOI arXiv OpenURL
Downey, Rodney G.; Kach, Asher M.; Lempp, Steffen; Lewis-Pye, Andrew E. M.; Montalbán, Antonio; Turetsky, Daniel D. The complexity of computable categoricity. (English) Zbl 1345.03063 Adv. Math. 268, 423-466 (2015). MSC: 03C57 03C35 03D45 03D60 PDF BibTeX XML Cite \textit{R. G. Downey} et al., Adv. Math. 268, 423--466 (2015; Zbl 1345.03063) Full Text: DOI OpenURL
Johnson, Jesse Computable categoricity for pseudo-exponential fields of \(\aleph_1\). (English) Zbl 1351.03022 Ann. Pure Appl. Logic 165, No. 7-8, 1301-1317 (2014). MSC: 03C57 03C35 03C60 03D60 PDF BibTeX XML Cite \textit{J. Johnson}, Ann. Pure Appl. Logic 165, No. 7--8, 1301--1317 (2014; Zbl 1351.03022) Full Text: DOI OpenURL
Andrews, U.; Kach, A. M. Computing and dominating the Ryll-Nardzewski function. (English. Russian original) Zbl 1323.03038 Algebra Logic 53, No. 2, 176-183 (2014); translation from Algebra Logika 53, No. 2, 271-281 (2014). MSC: 03C35 03C57 03D45 PDF BibTeX XML Cite \textit{U. Andrews} and \textit{A. M. Kach}, Algebra Logic 53, No. 2, 176--183 (2014; Zbl 1323.03038); translation from Algebra Logika 53, No. 2, 271--281 (2014) Full Text: DOI OpenURL
Cenzer, D.; Harizanov, V.; Remmel, J. B. Computability-theoretic properties of injection structures. (English. Russian original) Zbl 1323.03045 Algebra Logic 53, No. 1, 39-69 (2014); translation from Algebra Logika 53, No. 1, 60-108 (2014). MSC: 03C57 03C35 03D28 03D45 PDF BibTeX XML Cite \textit{D. Cenzer} et al., Algebra Logic 53, No. 1, 39--69 (2014; Zbl 1323.03045); translation from Algebra Logika 53, No. 1, 60--108 (2014) Full Text: DOI OpenURL
Adams, Francis; Cenzer, Douglas Computability and categoricity of ultrahomogeneous structures. (English) Zbl 1433.03082 Beckmann, Arnold (ed.) et al., Language, life, limits. 10th conference on computability in Europe, CiE 2014, Budapest, Hungary, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8493, 1-10 (2014). MSC: 03C57 03D45 03C35 03C50 PDF BibTeX XML Cite \textit{F. Adams} and \textit{D. Cenzer}, Lect. Notes Comput. Sci. 8493, 1--10 (2014; Zbl 1433.03082) Full Text: DOI OpenURL
Belanger, David R. Reverse mathematics of first-order theories with finitely many models. (English) Zbl 1353.03006 J. Symb. Log. 79, No. 3, 955-984 (2014). MSC: 03B30 03C57 03C35 PDF BibTeX XML Cite \textit{D. R. Belanger}, J. Symb. Log. 79, No. 3, 955--984 (2014; Zbl 1353.03006) Full Text: DOI Link OpenURL
Greenberg, Noam; Knight, Julia F. Computable structure theory on \(\omega_1\) using admissibility. (English) Zbl 1369.03116 Greenberg, Noam (ed.) et al., Effective mathematics of the uncountable. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-01451-0/hbk; 978-1-139-02859-2/ebook). Lecture Notes in Logic 41, 50-80 (2013). MSC: 03D60 03C57 03D45 PDF BibTeX XML Cite \textit{N. Greenberg} and \textit{J. F. Knight}, Lect. Notes Log. 41, 50--80 (2013; Zbl 1369.03116) OpenURL
Melnikov, Alexander G. Computably isometric spaces. (English) Zbl 1332.03008 J. Symb. Log. 78, No. 4, 1055-1085 (2013). Reviewer: Noam Greenberg (Wellington) MSC: 03C57 03D32 03D45 03C35 PDF BibTeX XML Cite \textit{A. G. Melnikov}, J. Symb. Log. 78, No. 4, 1055--1085 (2013; Zbl 1332.03008) Full Text: DOI Euclid Link OpenURL
Fokina, Ekaterina; Friedman, Sy-David; Knight, Julia; Miller, Russell Classes of structures with universe a subset of \(\omega _{1}\). (English) Zbl 1327.03027 J. Log. Comput. 23, No. 6, 1249-1265 (2013). MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{E. Fokina} et al., J. Log. Comput. 23, No. 6, 1249--1265 (2013; Zbl 1327.03027) Full Text: DOI OpenURL
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B. Two-to-one structures. (English) Zbl 1327.03026 J. Log. Comput. 23, No. 6, 1195-1223 (2013). MSC: 03C57 PDF BibTeX XML Cite \textit{D. Cenzer} et al., J. Log. Comput. 23, No. 6, 1195--1223 (2013; Zbl 1327.03026) Full Text: DOI OpenURL
Bazhenov, N. A. On \(\Delta^0_2\)-categoricity of Boolean algebras. (Russian. English summary) Zbl 1289.03025 Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 13, No. 2, 3-14 (2013). MSC: 03C57 03C35 06E05 PDF BibTeX XML Cite \textit{N. A. Bazhenov}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 13, No. 2, 3--14 (2013; Zbl 1289.03025) OpenURL
Bazhenov, N. A. Degrees of categoricity for superatomic Boolean algebras. (English. Russian original) Zbl 1315.03052 Algebra Logic 52, No. 3, 179-187 (2013); translation from Algebra Logika 52, No. 3, 271-283 (2013). MSC: 03C57 03C35 03D28 PDF BibTeX XML Cite \textit{N. A. Bazhenov}, Algebra Logic 52, No. 3, 179--187 (2013; Zbl 1315.03052); translation from Algebra Logika 52, No. 3, 271--283 (2013) Full Text: DOI OpenURL
Semukhin, Pavel; Stephan, Frank Automatic models of first order theories. (English) Zbl 1328.03037 Ann. Pure Appl. Logic 164, No. 9, 837-854 (2013). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 03C35 03D05 03C50 PDF BibTeX XML Cite \textit{P. Semukhin} and \textit{F. Stephan}, Ann. Pure Appl. Logic 164, No. 9, 837--854 (2013; Zbl 1328.03037) Full Text: DOI OpenURL
Bazhenov, N. A.; Tukhbatullina, R. R. Computable categoricity of the Boolean algebra \(\mathfrak{B}(\omega )\) with a distinguished automorphism. (English. Russian original) Zbl 1315.03053 Algebra Logic 52, No. 2, 89-97 (2013); translation from Algebra Logika 52, No. 2, 131-144 (2013). MSC: 03C57 03C35 03D25 06E25 PDF BibTeX XML Cite \textit{N. A. Bazhenov} and \textit{R. R. Tukhbatullina}, Algebra Logic 52, No. 2, 89--97 (2013; Zbl 1315.03053); translation from Algebra Logika 52, No. 2, 131--144 (2013) Full Text: DOI OpenURL
Miller, Russell; Schoutens, Hans Computably categorical fields via Fermat’s last theorem. (English) Zbl 1408.03029 Computability 2, No. 1, 51-65 (2013). MSC: 03C57 03C35 PDF BibTeX XML Cite \textit{R. Miller} and \textit{H. Schoutens}, Computability 2, No. 1, 51--65 (2013; Zbl 1408.03029) Full Text: DOI arXiv OpenURL
Andrews, Uri The degrees of categorical theories with recursive models. (English) Zbl 1323.03044 Proc. Am. Math. Soc. 141, No. 7, 2501-2514 (2013). MSC: 03C57 03C35 PDF BibTeX XML Cite \textit{U. Andrews}, Proc. Am. Math. Soc. 141, No. 7, 2501--2514 (2013; Zbl 1323.03044) Full Text: DOI OpenURL
Downey, Rodney; Melnikov, Alexander G. Effectively categorical abelian groups. (English) Zbl 1315.03054 J. Algebra 373, 223-248 (2013). MSC: 03C57 03C35 20K20 PDF BibTeX XML Cite \textit{R. Downey} and \textit{A. G. Melnikov}, J. Algebra 373, 223--248 (2013; Zbl 1315.03054) Full Text: DOI OpenURL
Downey, Rodney G.; Kach, Asher M.; Lempp, Steffen; Turetsky, Daniel D. Computable categoricity versus relative computable categoricity. (English) Zbl 1320.03070 Fundam. Math. 221, No. 2, 129-159 (2013). Reviewer: Noam Greenberg (Wellington) MSC: 03C57 03C35 03D45 PDF BibTeX XML Cite \textit{R. G. Downey} et al., Fundam. Math. 221, No. 2, 129--159 (2013; Zbl 1320.03070) Full Text: DOI Link OpenURL
Csima, Barbara F.; Franklin, Johanna N. Y.; Shore, Richard A. Degrees of categoricity and the hyperarithmetic hierarchy. (English) Zbl 1311.03070 Notre Dame J. Formal Logic 54, No. 2, 215-231 (2013). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D45 03D28 PDF BibTeX XML Cite \textit{B. F. Csima} et al., Notre Dame J. Formal Logic 54, No. 2, 215--231 (2013; Zbl 1311.03070) Full Text: DOI Euclid OpenURL
Steiner, Rebecca M. Effective algebraicity. (English) Zbl 1300.03021 Arch. Math. Logic 52, No. 1-2, 91-112 (2013). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D45 03C57 03D80 PDF BibTeX XML Cite \textit{R. M. Steiner}, Arch. Math. Logic 52, No. 1--2, 91--112 (2013; Zbl 1300.03021) Full Text: DOI OpenURL
Bazhenov, N. A. Hyperarithmetical categoricity of the Boolean algebra \(B(\omega^\alpha\times\eta)\). (Russian, English) Zbl 1289.03024 Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 12, No. 3, 35-45 (2012); translation in J. Math. Sci., New York 202, No. 1, 40-49 (2014). MSC: 03C57 03C35 06E05 PDF BibTeX XML Cite \textit{N. A. Bazhenov}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 12, No. 3, 35--45 (2012; Zbl 1289.03024); translation in J. Math. Sci., New York 202, No. 1, 40--49 (2014) OpenURL
Ivanov, Aleksander The complexity of countable categoricity in finite languages. (English) Zbl 1246.03058 Math. Log. Q. 58, No. 1-2, 105-112 (2012). Reviewer: Valery Plisko (Moskva) MSC: 03C57 03C35 PDF BibTeX XML Cite \textit{A. Ivanov}, Math. Log. Q. 58, No. 1--2, 105--112 (2012; Zbl 1246.03058) Full Text: DOI arXiv Link OpenURL
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B. \(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures. (English) Zbl 1241.03040 Ann. Pure Appl. Logic 162, No. 7, 490-503 (2011). Reviewer: Vadim Puzarenko (Novosibirsk) MSC: 03C57 03D15 03D45 PDF BibTeX XML Cite \textit{D. Cenzer} et al., Ann. Pure Appl. Logic 162, No. 7, 490--503 (2011; Zbl 1241.03040) Full Text: DOI OpenURL
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B. Effective categoricity of injection structures. (English) Zbl 1345.03062 Löwe, Benedikt (ed.) et al., Models of computation in context. 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 – July 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21874-3/pbk). Lecture Notes in Computer Science 6735, 51-60 (2011). MSC: 03C57 03C35 PDF BibTeX XML Cite \textit{D. Cenzer} et al., Lect. Notes Comput. Sci. 6735, 51--60 (2011; Zbl 1345.03062) Full Text: DOI OpenURL
Gavryushkina, A. A. On automatic and decidable linear orderings. (Russian. English summary) Zbl 1329.03071 Sib. Èlektron. Mat. Izv. 7, 100-110 (2010). MSC: 03C57 06A05 PDF BibTeX XML Cite \textit{A. A. Gavryushkina}, Sib. Èlektron. Mat. Izv. 7, 100--110 (2010; Zbl 1329.03071) Full Text: Link OpenURL
Goncharov, S. S. On autostability of almost prime models relative to strong constructivizations. (English. Russian original) Zbl 1219.03038 Russ. Math. Surv. 65, No. 5, 901-935 (2010); translation from Usp. Mat. Nauk 65, No. 5, 107-142 (2010). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03C35 03D45 PDF BibTeX XML Cite \textit{S. S. Goncharov}, Russ. Math. Surv. 65, No. 5, 901--935 (2010; Zbl 1219.03038); translation from Usp. Mat. Nauk 65, No. 5, 107--142 (2010) Full Text: DOI OpenURL
Melnikov, Alexander G. Computable ordered abelian groups and fields. (English) Zbl 1286.03145 Ferreira, Fernando (ed.) et al., Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30–July 4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13961-1/pbk). Lecture Notes in Computer Science 6158, 321-330 (2010). MSC: 03D45 03C57 06F20 12J15 PDF BibTeX XML Cite \textit{A. G. Melnikov}, Lect. Notes Comput. Sci. 6158, 321--330 (2010; Zbl 1286.03145) Full Text: DOI OpenURL
Khoussainov, Bakhadyr; Montalbán, Antonio A computable \(\aleph_0\)-categorical structure whose theory computes true arithmetic. (English) Zbl 1201.03020 J. Symb. Log. 75, No. 2, 728-740 (2010). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03C35 03D45 03F30 PDF BibTeX XML Cite \textit{B. Khoussainov} and \textit{A. Montalbán}, J. Symb. Log. 75, No. 2, 728--740 (2010; Zbl 1201.03020) Full Text: DOI OpenURL
Fokina, Ekaterina B.; Kalimullin, Iskander; Miller, Russell Degrees of categoricity of computable structures. (English) Zbl 1184.03026 Arch. Math. Logic 49, No. 1, 51-67 (2010). MSC: 03C57 03C35 03D28 PDF BibTeX XML Cite \textit{E. B. Fokina} et al., Arch. Math. Logic 49, No. 1, 51--67 (2010; Zbl 1184.03026) Full Text: DOI OpenURL
Kach, Asher M.; Turetsky, Daniel \(\Delta^0_2\)-categoricity of equivalence structures. (English) Zbl 1234.03021 N. Z. J. Math. 39, 143-149 (2009). MSC: 03C57 03C35 PDF BibTeX XML Cite \textit{A. M. Kach} and \textit{D. Turetsky}, N. Z. J. Math. 39, 143--149 (2009; Zbl 1234.03021) Full Text: Link OpenURL
Melnikov, Alexander G. \(\mathbf 0''\)-categorical completely decomposable torsion-free abelian groups. (English) Zbl 1268.03042 Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 362-371 (2009). MSC: 03C57 03C35 20K15 20K20 PDF BibTeX XML Cite \textit{A. G. Melnikov}, Lect. Notes Comput. Sci. 5635, 362--371 (2009; Zbl 1268.03042) Full Text: DOI OpenURL
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B. \({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures. (English) Zbl 1239.03023 Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 99-108 (2009). MSC: 03C57 03D15 03D45 PDF BibTeX XML Cite \textit{D. Cenzer} et al., Lect. Notes Comput. Sci. 5635, 99--108 (2009; Zbl 1239.03023) Full Text: DOI OpenURL
Miller, Russell \(d\)-computable categoricity for algebraic fields. (English) Zbl 1202.03044 J. Symb. Log. 74, No. 4, 1325-1351 (2009). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{R. Miller}, J. Symb. Log. 74, No. 4, 1325--1351 (2009; Zbl 1202.03044) Full Text: DOI OpenURL
Chisholm, John; Fokina, Ekaterina B.; Goncharov, Sergey S.; Harizanov, Valentina S.; Knight, Julia F.; Quinn, Sara Intrinsic bounds on complexity and definability at limit levels. (English) Zbl 1201.03019 J. Symb. Log. 74, No. 3, 1047-1060 (2009). Reviewer: Rodney Downey (Wellington) MSC: 03C57 03C35 PDF BibTeX XML Cite \textit{J. Chisholm} et al., J. Symb. Log. 74, No. 3, 1047--1060 (2009; Zbl 1201.03019) Full Text: DOI OpenURL
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina S.; Morozov, Andrei Effective categoricity of abelian \(p\)-groups. (English) Zbl 1177.03046 Ann. Pure Appl. Logic 159, No. 1-2, 187-197 (2009). Reviewer: Marat M. Arslanov (Kazan) MSC: 03D45 03C57 PDF BibTeX XML Cite \textit{W. Calvert} et al., Ann. Pure Appl. Logic 159, No. 1--2, 187--197 (2009; Zbl 1177.03046) Full Text: DOI arXiv OpenURL
Cenzer, Douglas; Laforte, Geoffrey; Remmel, Jeffrey Equivalence structures and isomorphisms in the difference hierarchy. (English) Zbl 1196.03049 J. Symb. Log. 74, No. 2, 535-556 (2009). Reviewer: Iskander Kalimullin (Kazan) MSC: 03C57 PDF BibTeX XML Cite \textit{D. Cenzer} et al., J. Symb. Log. 74, No. 2, 535--556 (2009; Zbl 1196.03049) Full Text: DOI OpenURL
Calvert, W.; Goncharov, S. S.; Knight, J. F.; Millar, Jessica Categoricity of computable infinitary theories. (English) Zbl 1161.03020 Arch. Math. Logic 48, No. 1, 25-38 (2009). MSC: 03C57 PDF BibTeX XML Cite \textit{W. Calvert} et al., Arch. Math. Logic 48, No. 1, 25--38 (2009; Zbl 1161.03020) Full Text: DOI OpenURL
Cenzer, Douglas; Downey, Rodney G.; Remmel, Jeffrey B.; Uddin, Zia Space complexity of abelian groups. (English) Zbl 1161.03021 Arch. Math. Logic 48, No. 1, 115-140 (2009). MSC: 03C57 03D15 03D45 PDF BibTeX XML Cite \textit{D. Cenzer} et al., Arch. Math. Logic 48, No. 1, 115--140 (2009; Zbl 1161.03021) Full Text: DOI Link OpenURL
Fokina, E. B. Algorithmic properties of models with signatures containing two unary functional symbols. (Russian. English summary) Zbl 1249.03054 Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 8, No. 1, 90-101 (2008). MSC: 03C57 03C35 03D45 PDF BibTeX XML Cite \textit{E. B. Fokina}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 8, No. 1, 90--101 (2008; Zbl 1249.03054) OpenURL
Pavlovskij, E. N. The complexity of index sets for several classes of models. (Russian. English summary) Zbl 1249.03062 Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 8, No. 1, 71-76 (2008). MSC: 03C57 03C35 03D45 PDF BibTeX XML Cite \textit{E. N. Pavlovskij}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 8, No. 1, 71--76 (2008; Zbl 1249.03062) OpenURL
Alaev, P. E. Countably categorical and autostable Boolean algebras with distinguished ideals. (Russian, English) Zbl 1249.03050 Mat. Tr. 11, No. 1, 3-24 (2008); translation in Sib. Adv. Math. 18, No. 4, 227-241 (2008). MSC: 03C57 03C35 06E25 PDF BibTeX XML Cite \textit{P. E. Alaev}, Mat. Tr. 11, No. 1, 3--24 (2008; Zbl 1249.03050); translation in Sib. Adv. Math. 18, No. 4, 227--241 (2008) Full Text: DOI OpenURL
Pavlovskij, E. N. Estimation of the algorithmic complexity of classes of computable models. (Russian, English) Zbl 1164.03334 Sib. Mat. Zh. 49, No. 3, 635-649 (2008); translation in Sib. Math. J. 49, No. 3, 512-523 (2008). MSC: 03C57 03C35 68Q25 PDF BibTeX XML Cite \textit{E. N. Pavlovskij}, Sib. Mat. Zh. 49, No. 3, 635--649 (2008; Zbl 1164.03334); translation in Sib. Math. J. 49, No. 3, 512--523 (2008) Full Text: EuDML EMIS OpenURL
Khoussainov, Bakhadyr; Stephan, Frank; Yang, Yue Computable categoricity and the Ershov hierarchy. (English) Zbl 1165.03012 Ann. Pure Appl. Logic 156, No. 1, 86-95 (2008). Reviewer: Marat M. Arslanov (Kazan) MSC: 03C57 03C35 03D45 03D80 PDF BibTeX XML Cite \textit{B. Khoussainov} et al., Ann. Pure Appl. Logic 156, No. 1, 86--95 (2008; Zbl 1165.03012) Full Text: DOI OpenURL
Goncharov, S. S. Isomorphisms and definable relations on computable models. (English) Zbl 1157.03012 Dimitracopoulos, Costas (ed.) et al., Logic colloquium 2005. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Athens, Greece, July 28–August 3, 2005. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-88425-9/hbk). Lecture Notes in Logic 28, 26-45 (2008). Reviewer: Marat M. Arslanov (Kazan) MSC: 03C57 03D45 PDF BibTeX XML Cite \textit{S. S. Goncharov}, Lect. Notes Log. 28, 26--45 (2008; Zbl 1157.03012) OpenURL