Greenberg, Noam; Harrison-Trainor, Matthew; Miller, Joseph S.; Turetsky, Dan Enumerations of families closed under finite differences. (English) Zbl 07832590 Computability 13, No. 1, 89-104 (2024). MSC: 03Dxx × Cite Format Result Cite Review PDF Full Text: DOI
Kasymov, N. Kh.; Dadazhanov, R. N.; Ibragimov, F. N. Separable algorithmic representations of classical systems and their applications. (English. Russian original) Zbl 07803125 J. Math. Sci., New York 278, No. 3, 476-519 (2024); translation from Sovrem. Mat., Fundam. Napravl. 67, No. 4, 707-754 (2022). MSC: 03Dxx 03Cxx 08Axx × Cite Format Result Cite Review PDF Full Text: DOI
Faizrahmanov, Marat A local version of the Slaman-Wehner theorem and families closed under finite differences. (English) Zbl 07720262 Notre Dame J. Formal Logic 64, No. 2, 197-203 (2023). MSC: 03D45 03C57 03D80 × Cite Format Result Cite Review PDF Full Text: DOI
Delle Rose, Valentino; San Mauro, Luca; Sorbi, Andrea Classifying word problems of finitely generated algebras via computable reducibility. (English) Zbl 07713611 Int. J. Algebra Comput. 33, No. 4, 751-768 (2023). MSC: 03D40 03D25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Faizrahmanov, Marat Limitwise monotonic spectra and their generalizations. (English) Zbl 07495167 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 189-198 (2021). MSC: 68Qxx × Cite Format Result Cite Review PDF Full Text: DOI
Kasymov, N. Kh.; Dadazhanov, R. N.; Djavliev, S. K. Structures of degrees of negative representations of linear orders. (English. Russian original) Zbl 1496.03172 Russ. Math. 65, No. 12, 27-46 (2021); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2021, No. 12, 31-55 (2021). MSC: 03D45 03C57 × Cite Format Result Cite Review PDF Full Text: DOI
Blinov, K. V. Primitively recursive categoricity for unars and equivalence structures. (English. Russian original) Zbl 1529.03208 Sib. Math. J. 62, No. 6, 994-1009 (2021); translation from Sib. Mat. Zh. 62, No. 2, 1231-1251 (2021). MSC: 03C57 × Cite Format Result Cite Review PDF Full Text: DOI
Kabylzhanova, D. K. Positive preorders. (English. Russian original) Zbl 1485.03113 Algebra Logic 57, No. 3, 182-185 (2018); translation from Algebra Logika 57, No. 3, 279-284 (2018). MSC: 03C57 03D45 × Cite Format Result Cite Review PDF 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 × Cite Format Result Cite Review PDF Full Text: DOI
Khoussainov, Bakh Quantifier free definability on infinite algebras. (English) Zbl 1394.03059 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 730-738 (2016). MSC: 03C57 03C07 03C40 × Cite Format Result Cite Review PDF Full Text: DOI
Faizrahmanov, Marat; Kalimullin, Iskander The enumeration spectrum hierarchy of \(n\)-families. (English) Zbl 1360.03078 Math. Log. Q. 62, No. 4-5, 420-426 (2016). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D28 03D55 03D45 × Cite Format Result Cite Review PDF Full Text: DOI
Alaev, P. E. Existence and uniqueness of structures computable in polynomial time. (English. Russian original) Zbl 1361.03042 Algebra Logic 55, No. 1, 72-76 (2016); translation from Algebra Logika 55, No. 1, 106-112 (2016). MSC: 03D45 03C57 × Cite Format Result Cite Review PDF Full Text: DOI
Gavryushkin, Alex; Khoussainov, Bakhadyr; Stephan, Frank Reducibilities among equivalence relations induced by recursively enumerable structures. (English) Zbl 1338.03077 Theor. Comput. Sci. 612, 137-152 (2016). Reviewer: Joseph S. Ullian (Santa Barbara) MSC: 03D25 03D30 × Cite Format Result Cite Review PDF Full Text: DOI
Gavruskin, Alexander; Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank Graphs realised by r.e. equivalence relations. (English) Zbl 1351.03028 Ann. Pure Appl. Logic 165, No. 7-8, 1263-1290 (2014). MSC: 03D25 03D30 03D45 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Khoussainov, B. On computably enumerable structures. (English) Zbl 1325.03035 Lobachevskii J. Math. 35, No. 4, 339-347 (2014). MSC: 03C57 03D45 × Cite Format Result Cite Review PDF Full Text: DOI
Cenzer, Douglas; Csima, Barbara F.; Khoussainov, Bakhadyr Linear orders with distinguished function symbol. (English) Zbl 1162.03019 Arch. Math. Logic 48, No. 1, 63-76 (2009). Reviewer: Antonio Montalban (Chicago) MSC: 03C57 03D45 × Cite Format Result Cite Review PDF Full Text: DOI
Cenzer, Douglas (ed.); Harizanov, Valentina (ed.); Marker, David (ed.); Wood, Carol (ed.) Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5–10, 2007. (English) Zbl 1157.03302 Arch. Math. Logic 48, No. 1, 1-140 (2009). MSC: 03-06 03Cxx 00B25 × Cite Format Result Cite Review PDF Full Text: Link
Khoussainov, Bakhadyr; Slaman, Theodore; Semukhin, Pavel \(\Pi^0_1\)-presentations of algebras. (English) Zbl 1099.03025 Arch. Math. Logic 45, No. 6, 769-781 (2006). MSC: 03C57 03D45 × Cite Format Result Cite Review PDF Full Text: DOI
Stephan, F.; Ventsov, Y. Learning algebraic structures from text. (English) Zbl 0983.68156 Theor. Comput. Sci. 268, No. 2, 221-273 (2001). MSC: 68T05 × Cite Format Result Cite Review PDF Full Text: DOI
Khoussainov, Bakhadyr; Shore, Richard A. Computable isomorphisms, degree spectra of relations, and Scott families. (English) Zbl 0927.03072 Ann. Pure Appl. Logic 93, No. 1-3, 153-193 (1998); erratum ibid. 98, No. 1-3, 297-298 (1999). MSC: 03D45 03C57 03D25 × Cite Format Result Cite Review PDF Full Text: DOI
Khoussainov, Bakhadyr Recursive unary algebras and trees. (English) Zbl 0804.03031 Ann. Pure Appl. Logic 67, No. 1-3, 213-268 (1994). Reviewer: R.Downey (Wellington) MSC: 03D45 08A60 03C57 × Cite Format Result Cite Review PDF Full Text: DOI
Khusainov, B. M. Algorithmic dimensions of homomorphic images of models. (English. Russian original) Zbl 0795.03047 Algebra Logic 31, No. 3, 195-203 (1992); translation from Algebra Logika 31, No. 3, 319-333 (1992). MSC: 03C57 × Cite Format Result Cite Review PDF Full Text: DOI
Kasymov, N. Kh. Positive algebras with countable congruence lattices. (English. Russian original) Zbl 0787.08002 Algebra Logic 31, No. 1, 12-23 (1992); translation from Algebra Logika 31, No. 1, 21-37 (1992). MSC: 08A30 03D45 03C57 08A50 × Cite Format Result Cite Review PDF Full Text: DOI
Kasymov, N. Kh.; Khusainov, B. M. Positive equivalences with finite classes and related algebras. (English. Russian original) Zbl 0781.03019 Sib. Math. J. 33, No. 5, 923-927 (1992); translation from Sib. Mat. Zh. 33, No. 5, 196-200 (1992). Reviewer: A.Ryaskin (Novosibirsk) MSC: 03C57 03D45 × Cite Format Result Cite Review PDF Full Text: DOI
Khusainov, B. M. On positive enumarated models. (English. Russian original) Zbl 0737.03020 Sib. Math. J. 32, No. 3, 507-513 (1991); translation from Sib. Mat. Zh. 32, No. 3(187), 184-191 (1991). Reviewer: A.Ryaskin (Novosibirsk) MSC: 03D45 03C57 × Cite Format Result Cite Review PDF Full Text: DOI
Kummer, Martin Some applications of computable one-one numberings. (English) Zbl 0714.03038 Arch. Math. Logic 30, No. 4, 219-230 (1990). Reviewer: C.Calude MSC: 03D45 × Cite Format Result Cite Review PDF Full Text: DOI