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). MSC: 03C57 03D45 PDF BibTeX 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
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 Cite \textit{N. Bazhenov} et al., Computability 10, No. 1, 1--16 (2021; Zbl 07363322) Full Text: DOI
Turetsky, Dan Coding in the automorphism group of a computably categorical structure. (English) Zbl 07349732 J. Math. Log. 20, No. 3, Article ID 2050016, 24 p. (2020). MSC: 03C57 03D45 PDF BibTeX Cite \textit{D. Turetsky}, J. Math. Log. 20, No. 3, Article ID 2050016, 24 p. (2020; Zbl 07349732) Full Text: DOI
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 Cite \textit{N. A. Bazhenov} et al., Lobachevskii J. Math. 41, No. 9, 1630--1639 (2020; Zbl 07272819) Full Text: DOI
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 Cite \textit{S. S. Goncharov} et al., Sib. Adv. Math. 30, No. 3, 200--212 (2020; Zbl 1446.03069) Full Text: DOI
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 Cite \textit{N. Bazhenov} and \textit{M. Marchuk}, Sib. Èlektron. Mat. Izv. 17, 1013--1026 (2020; Zbl 1443.03020) Full Text: DOI
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: 03Dxx 68Qxx 06Exx 03Cxx PDF BibTeX Cite \textit{J. Carson} et al., Theory Comput. Syst. 64, No. 6, 1110--1139 (2020; Zbl 07240648) Full Text: DOI
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 Cite \textit{N. Bazhenov} et al., Int. J. Algebra Comput. 30, No. 1, 49--90 (2020; Zbl 07167884) Full Text: DOI
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 Cite \textit{R. Miller}, Computability 8, No. 2, 99--117 (2019; Zbl 1453.03032) Full Text: DOI arXiv
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 Cite \textit{N. Bazhenov} et al., Lect. Notes Comput. Sci. 11436, 28--41 (2019; Zbl 07117268) Full Text: DOI
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 Cite \textit{R. Downey} et al., Ann. Pure Appl. Logic 170, No. 10, 1243--1255 (2019; Zbl 1435.03076) Full Text: DOI
Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; San Mauro, Luca Degrees of bi-embeddable categoricity of equivalence structures. (English) Zbl 07077048 Arch. Math. Logic 58, No. 5-6, 543-563 (2019). MSC: 03C57 PDF BibTeX Cite \textit{N. Bazhenov} et al., Arch. Math. Logic 58, No. 5--6, 543--563 (2019; Zbl 07077048) Full Text: DOI arXiv
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 Cite \textit{E. Fokina} et al., Ann. Pure Appl. Logic 170, No. 6, 699--717 (2019; Zbl 1441.03031) Full Text: DOI
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 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
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 03D28 PDF BibTeX 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
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 03D28 06E05 PDF BibTeX 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
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 Cite \textit{N. Bazhenov} and \textit{M. Marchuk}, Lect. Notes Comput. Sci. 10936, 40--49 (2018; Zbl 06932456) Full Text: DOI
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 Cite \textit{H. J. Walker}, J. Knot Theory Ramifications 27, No. 7, Article ID 1841012, 17 p. (2018; Zbl 06916017) Full Text: DOI arXiv
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 Cite \textit{N. Greenberg} et al., J. Symb. Log. 83, No. 2, 529--550 (2018; Zbl 06915712) Full Text: DOI
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 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
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 Cite \textit{A. G. Melnikov}, J. Math. Log. 18, No. 1, Article ID 1850002, 47 p. (2018; Zbl 06887312) Full Text: DOI
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 Cite \textit{N. A. Bazhenov} et al., J. Symb. Log. 83, No. 1, 103--116 (2018; Zbl 1447.03008) Full Text: DOI
Melnikov, Alexander G.; Ng, Keng Meng Computable torsion abelian groups. (English) Zbl 06824554 Adv. Math. 325, 864-907 (2018). MSC: 03-XX 05-XX PDF BibTeX Cite \textit{A. G. Melnikov} and \textit{K. M. Ng}, Adv. Math. 325, 864--907 (2018; Zbl 06824554) Full Text: DOI
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 Cite \textit{B. Tyrrell}, Undergrad. Math J. 18, No. 1, 237--261 (2017; Zbl 1398.03156) Full Text: Link
Bazhenov, N. A.; Frolov, A. N.; Kalimullin, I. Sh.; Melnikov, A. G. Computability of distributive lattices. (English. Russian original) Zbl 06862419 Sib. Math. J. 58, No. 6, 959-970 (2017); translation from Sib. Mat. Zh. 58, No. 6, 1236-1251 (2017). MSC: 03-XX 06-XX PDF BibTeX Cite \textit{N. A. Bazhenov} et al., Sib. Math. J. 58, No. 6, 959--970 (2017; Zbl 06862419); translation from Sib. Mat. Zh. 58, No. 6, 1236--1251 (2017) Full Text: DOI
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 Cite \textit{F. Adams} and \textit{D. Cenzer}, Computability 6, No. 4, 365--389 (2017; Zbl 1420.03069) Full Text: DOI arXiv
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 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
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 Cite \textit{N. A. Bazhenov}, Lobachevskii J. Math. 38, No. 4, 600--614 (2017; Zbl 1420.03070) Full Text: DOI
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 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
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 Cite \textit{N. Bazhenov}, Lect. Notes Comput. Sci. 10185, 85--96 (2017; Zbl 1459.03045) Full Text: DOI
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 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
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 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
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 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
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 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
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 Cite \textit{N. Bazhenov}, Stud. Log. 104, No. 6, 1083--1097 (2016; Zbl 1417.03233) Full Text: DOI
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 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
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 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 Euclid arXiv
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 Cite \textit{R. Downey} et al., Ann. Pure Appl. Logic 167, No. 11, 1123--1138 (2016; Zbl 1402.03067) Full Text: DOI
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 Cite \textit{A. G. Melnikov} and \textit{K. M. Ng}, Fundam. Math. 233, No. 2, 101--141 (2016; Zbl 1393.03025) Full Text: DOI
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 Cite \textit{E. Fokina} et al., Notre Dame J. Formal Logic 57, No. 1, 45--57 (2016; Zbl 1359.03030) Full Text: DOI
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 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
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 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
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 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
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 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
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 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
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 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
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 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
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 Cite \textit{C. M. Harris}, Computability 4, No. 2, 119--139 (2015; Zbl 1337.03064) Full Text: DOI
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 Cite \textit{R. Downey} et al., Ann. Pure Appl. Logic 166, No. 9, 851--880 (2015; Zbl 1386.03050) Full Text: DOI
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 Cite \textit{D. R. Hirschfeldt} et al., Trans. Am. Math. Soc. 367, No. 6, 3981--4017 (2015; Zbl 1347.03082) Full Text: DOI arXiv
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 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
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 Cite \textit{R. G. Downey} et al., Adv. Math. 268, 423--466 (2015; Zbl 1345.03063) Full Text: DOI
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 Cite \textit{J. Johnson}, Ann. Pure Appl. Logic 165, No. 7--8, 1301--1317 (2014; Zbl 1351.03022) Full Text: DOI
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 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
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 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
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 Cite \textit{F. Adams} and \textit{D. Cenzer}, Lect. Notes Comput. Sci. 8493, 1--10 (2014; Zbl 1433.03082) Full Text: DOI
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 Cite \textit{D. R. Belanger}, J. Symb. Log. 79, No. 3, 955--984 (2014; Zbl 1353.03006) Full Text: DOI
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 Cite \textit{N. Greenberg} and \textit{J. F. Knight}, Lect. Notes Log. 41, 50--80 (2013; Zbl 1369.03116)
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 Cite \textit{A. G. Melnikov}, J. Symb. Log. 78, No. 4, 1055--1085 (2013; Zbl 1332.03008) Full Text: DOI Euclid
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 Cite \textit{E. Fokina} et al., J. Log. Comput. 23, No. 6, 1249--1265 (2013; Zbl 1327.03027) Full Text: DOI
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 Cite \textit{D. Cenzer} et al., J. Log. Comput. 23, No. 6, 1195--1223 (2013; Zbl 1327.03026) Full Text: DOI
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 Cite \textit{N. A. Bazhenov}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 13, No. 2, 3--14 (2013; Zbl 1289.03025)
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 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
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 Cite \textit{P. Semukhin} and \textit{F. Stephan}, Ann. Pure Appl. Logic 164, No. 9, 837--854 (2013; Zbl 1328.03037) Full Text: DOI
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 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
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 Cite \textit{R. Miller} and \textit{H. Schoutens}, Computability 2, No. 1, 51--65 (2013; Zbl 1408.03029) Full Text: DOI arXiv
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 Cite \textit{U. Andrews}, Proc. Am. Math. Soc. 141, No. 7, 2501--2514 (2013; Zbl 1323.03044) Full Text: DOI
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 Cite \textit{R. Downey} and \textit{A. G. Melnikov}, J. Algebra 373, 223--248 (2013; Zbl 1315.03054) Full Text: DOI
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 Cite \textit{R. G. Downey} et al., Fundam. Math. 221, No. 2, 129--159 (2013; Zbl 1320.03070) Full Text: DOI
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 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
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 Cite \textit{R. M. Steiner}, Arch. Math. Logic 52, No. 1--2, 91--112 (2013; Zbl 1300.03021) Full Text: DOI
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 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)
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 Cite \textit{A. Ivanov}, Math. Log. Q. 58, No. 1--2, 105--112 (2012; Zbl 1246.03058) Full Text: DOI
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 Cite \textit{D. Cenzer} et al., Ann. Pure Appl. Logic 162, No. 7, 490--503 (2011; Zbl 1241.03040) Full Text: DOI
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 Cite \textit{D. Cenzer} et al., Lect. Notes Comput. Sci. 6735, 51--60 (2011; Zbl 1345.03062) Full Text: DOI
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 Cite \textit{A. A. Gavryushkina}, Sib. Èlektron. Mat. Izv. 7, 100--110 (2010; Zbl 1329.03071) Full Text: Link
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 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
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 Cite \textit{A. G. Melnikov}, Lect. Notes Comput. Sci. 6158, 321--330 (2010; Zbl 1286.03145) Full Text: DOI
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 Cite \textit{B. Khoussainov} and \textit{A. Montalbán}, J. Symb. Log. 75, No. 2, 728--740 (2010; Zbl 1201.03020) Full Text: DOI
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 Cite \textit{E. B. Fokina} et al., Arch. Math. Logic 49, No. 1, 51--67 (2010; Zbl 1184.03026) Full Text: DOI
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 Cite \textit{A. M. Kach} and \textit{D. Turetsky}, N. Z. J. Math. 39, 143--149 (2009; Zbl 1234.03021) Full Text: Link
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 Cite \textit{A. G. Melnikov}, Lect. Notes Comput. Sci. 5635, 362--371 (2009; Zbl 1268.03042) Full Text: DOI
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 Cite \textit{D. Cenzer} et al., Lect. Notes Comput. Sci. 5635, 99--108 (2009; Zbl 1239.03023) Full Text: DOI
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 Cite \textit{R. Miller}, J. Symb. Log. 74, No. 4, 1325--1351 (2009; Zbl 1202.03044) Full Text: DOI
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 Cite \textit{J. Chisholm} et al., J. Symb. Log. 74, No. 3, 1047--1060 (2009; Zbl 1201.03019) Full Text: DOI
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 Cite \textit{W. Calvert} et al., Ann. Pure Appl. Logic 159, No. 1--2, 187--197 (2009; Zbl 1177.03046) Full Text: DOI
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 Cite \textit{D. Cenzer} et al., J. Symb. Log. 74, No. 2, 535--556 (2009; Zbl 1196.03049) Full Text: DOI
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 Cite \textit{W. Calvert} et al., Arch. Math. Logic 48, No. 1, 25--38 (2009; Zbl 1161.03020) Full Text: DOI
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 Cite \textit{D. Cenzer} et al., Arch. Math. Logic 48, No. 1, 115--140 (2009; Zbl 1161.03021) Full Text: DOI
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 Cite \textit{E. B. Fokina}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 8, No. 1, 90--101 (2008; Zbl 1249.03054)
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 Cite \textit{E. N. Pavlovskij}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 8, No. 1, 71--76 (2008; Zbl 1249.03062)
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 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
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 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: EMIS EuDML
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 Cite \textit{B. Khoussainov} et al., Ann. Pure Appl. Logic 156, No. 1, 86--95 (2008; Zbl 1165.03012) Full Text: DOI
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 Cite \textit{S. S. Goncharov}, Lect. Notes Log. 28, 26--45 (2008; Zbl 1157.03012)
Morozov, A. S.; Truss, J. K. The categoricity of the group of all computable automorphisms of the rational numbers. (Russian, English) Zbl 1164.03333 Algebra Logika 46, No. 5, 649-662 (2007); translation in Algebra Logic 46, No. 5, 354-361 (2007). MSC: 03C57 03C35 03D45 20B27 PDF BibTeX Cite \textit{A. S. Morozov} and \textit{J. K. Truss}, Algebra Logika 46, No. 5, 649--662 (2007; Zbl 1164.03333); translation in Algebra Logic 46, No. 5, 354--361 (2007) Full Text: DOI
Fokina, E. B. Index sets of decidable models. (Russian, English) Zbl 1164.03326 Sib. Mat. Zh. 48, No. 5, 1167-1179 (2007); translation in Sib. Math. J. 48, No. 5, 939-948 (2007). MSC: 03C57 03D45 03C35 PDF BibTeX Cite \textit{E. B. Fokina}, Sib. Mat. Zh. 48, No. 5, 1167--1179 (2007; Zbl 1164.03326); translation in Sib. Math. J. 48, No. 5, 939--948 (2007) Full Text: EMIS EuDML
Khoussainov, Bakhadyr; Semukhin, Pavel; Stephan, Frank Applications of Kolmogorov complexity to computable model theory. (English) Zbl 1127.03031 J. Symb. Log. 72, No. 3, 1041-1054 (2007). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 68Q30 03C35 03C15 PDF BibTeX Cite \textit{B. Khoussainov} et al., J. Symb. Log. 72, No. 3, 1041--1054 (2007; Zbl 1127.03031) Full Text: DOI Euclid
Lempp, Steffen; Slaman, Theodore A. The complexity of the index sets of \(\aleph_0\)-categorical theories and of Ehrenfeucht theories. (English) Zbl 1123.03035 Gao, Su (ed.) et al., Advances in logic. The North Texas logic conference, Denton, TX, USA, October 8–10, 2004. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-3819-8/pbk). Contemporary Mathematics 425, 43-47 (2007). MSC: 03D15 03C35 03C52 03C57 68Q17 PDF BibTeX Cite \textit{S. Lempp} and \textit{T. A. Slaman}, Contemp. Math. 425, 43--47 (2007; Zbl 1123.03035) Full Text: arXiv
Pavlovskij, E. N. Algorithmic recognizability of the finiteness property of finite-definite systems. (Russian. English summary) Zbl 1249.03061 Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 6, No. 4, 83-92 (2006). MSC: 03C57 03C35 08A62 PDF BibTeX Cite \textit{E. N. Pavlovskij}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 6, No. 4, 83--92 (2006; Zbl 1249.03061)