Bazhenov, Nikolay; Fiori-Carones, Marta; Liu, Lu; Melnikov, Alexander Primitive recursive reverse mathematics. (English) Zbl 07748763 Ann. Pure Appl. Logic 175, No. 1, Article ID 103354, 55 p. (2024). MSC: 03B30 03F35 03D20 03C57 03D78 PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Ann. Pure Appl. Logic 175, No. 1, Article ID 103354, 55 p. (2024; Zbl 07748763) Full Text: DOI arXiv
Bazhenov, Nikolay; Kihara, Takayuki; Selivanova, Svetlana; Spreen, Dieter On the main scientific achievements of Victor Selivanov. (English) Zbl 07797483 Computability 12, No. 4, 301-314 (2023). MSC: 03Dxx PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Computability 12, No. 4, 301--314 (2023; Zbl 07797483) Full Text: DOI
Bazhenov, Nikolay; Mustafa, Manat Computable embeddability for algebraic structures. (English) Zbl 1509.03109 Asian-Eur. J. Math. 15, No. 7, Article ID 2250126, 20 p. (2022). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{N. Bazhenov} and \textit{M. Mustafa}, Asian-Eur. J. Math. 15, No. 7, Article ID 2250126, 20 p. (2022; Zbl 1509.03109) Full Text: DOI
Bazhenov, Nikolay; Ng, Keng Meng; San Mauro, Luca; Sorbi, Andrea Primitive recursive equivalence relations and their primitive recursive complexity. (English) Zbl 07641231 Computability 11, No. 3-4, 187-221 (2022). MSC: 03Dxx PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Computability 11, No. 3--4, 187--221 (2022; Zbl 07641231) Full Text: DOI arXiv
Bazhenov, Nikolay; Cipriani, Vittorio; San Mauro, Luca Calculating the mind change complexity of learning algebraic structures. (English) Zbl 07627913 Berger, Ulrich (ed.) et al., Revolutions and revelations in computability. 18th conference on computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13359, 1-12 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Lect. Notes Comput. Sci. 13359, 1--12 (2022; Zbl 07627913) Full Text: DOI
Bazhenov, Nikolay; Mustafa, Manat; Ospichev, Sergei Rogers semilattices of punctual numberings. (English) Zbl 1525.03102 Math. Struct. Comput. Sci. 32, No. 2, 164-188 (2022). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D45 03D30 PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Math. Struct. Comput. Sci. 32, No. 2, 164--188 (2022; Zbl 1525.03102) Full Text: DOI
Bazhenov, Nikolay; Rossegger, Dino; Zubkov, Maxim On bi-embeddable categoricity of algebraic structures. (English) Zbl 1505.03080 Ann. Pure Appl. Logic 173, No. 3, Article ID 103060, 18 p. (2022). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 06A05 06E05 PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Ann. Pure Appl. Logic 173, No. 3, Article ID 103060, 18 p. (2022; Zbl 1505.03080) Full Text: DOI arXiv
Bazhenov, N. A.; Kalimullin, I. Sh. Punctual categoricity spectra of computably categorical structures. (English. Russian original) Zbl 1515.03160 Algebra Logic 60, No. 3, 223-228 (2021); translation from Algebra Logika 60, No. 3, 335-343 (2021). MSC: 03C57 PDFBibTeX XMLCite \textit{N. A. Bazhenov} and \textit{I. Sh. Kalimullin}, Algebra Logic 60, No. 3, 223--228 (2021; Zbl 1515.03160); translation from Algebra Logika 60, No. 3, 335--343 (2021) Full Text: DOI
Bazhenov, Nikolay HKSS-completeness of modal algebras. (English) Zbl 07411056 Sib. Èlektron. Mat. Izv. 18, No. 2, 923-930 (2021). MSC: 03C57 PDFBibTeX XMLCite \textit{N. Bazhenov}, Sib. Èlektron. Mat. Izv. 18, No. 2, 923--930 (2021; Zbl 07411056) Full Text: DOI
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 PDFBibTeX XMLCite \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
Bazhenov, N. A. Categoricity spectra of computable structures. (English. Russian original) Zbl 1485.03105 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 PDFBibTeX XMLCite \textit{N. A. Bazhenov}, J. Math. Sci., New York 256, No. 1, 34--50 (2021; Zbl 1485.03105); 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 PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Computability 10, No. 1, 1--16 (2021; Zbl 07363322) Full Text: DOI arXiv
Bazhenov, N. A.; Mustafa, M.; Tleuliyeva, Zh. Theories of Rogers semilattices of analytical numberings. (English) Zbl 1491.03032 Lobachevskii J. Math. 42, No. 4, 701-708 (2021). MSC: 03D45 PDFBibTeX XMLCite \textit{N. A. Bazhenov} et al., Lobachevskii J. Math. 42, No. 4, 701--708 (2021; Zbl 1491.03032) Full Text: DOI
Bazhenov, N. A.; Kalimullin, I. Sh.; Yamaleev, M. M. Strong degrees of categoricity and weak density. (English) Zbl 1486.03062 Lobachevskii J. Math. 41, No. 9, 1630-1639 (2020). MSC: 03C57 03D45 03D28 PDFBibTeX XMLCite \textit{N. A. Bazhenov} et al., Lobachevskii J. Math. 41, No. 9, 1630--1639 (2020; Zbl 1486.03062) Full Text: DOI
Bazhenov, N. A.; Mustafa, M.; San Mauro, L.; Yamaleev, M. M. Minimal equivalence relations in hyperarithmetical and analytical hierarchies. (English) Zbl 1469.03116 Lobachevskii J. Math. 41, No. 2, 145-150 (2020). MSC: 03D25 03D30 03D45 PDFBibTeX XMLCite \textit{N. A. Bazhenov} et al., Lobachevskii J. Math. 41, No. 2, 145--150 (2020; Zbl 1469.03116) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{N. Bazhenov} and \textit{M. Marchuk}, Sib. Èlektron. Mat. Izv. 17, 1013--1026 (2020; Zbl 1443.03020) Full Text: DOI
Bazhenov, Nikolay; Goncharov, Sergey; Melnikov, Alexander Decompositions of decidable abelian groups. (English) Zbl 1516.03012 Int. J. Algebra Comput. 30, No. 1, 49-90 (2020). MSC: 03C57 03D45 20K10 20K15 PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Int. J. Algebra Comput. 30, No. 1, 49--90 (2020; Zbl 1516.03012) Full Text: DOI
Bazhenov, Nikolay; Harrison-Trainor, Matthew; Kalimullin, Iskander; Melkinov, Alexander; Ng, Keng Meng Automatic and polynomial-time algebraic structures. (English) Zbl 1454.03042 J. Symb. Log. 84, No. 4, 1630-1669 (2019). Reviewer: Jamalbek Tussupov (Astana) MSC: 03C57 03D05 03D20 03D45 03D80 68Q45 PDFBibTeX XMLCite \textit{N. Bazhenov} et al., J. Symb. Log. 84, No. 4, 1630--1669 (2019; Zbl 1454.03042) Full Text: DOI Link
Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander Foundations of online structure theory. (English) Zbl 1477.03167 Bull. Symb. Log. 25, No. 2, 141-181 (2019). MSC: 03D45 03C57 03D75 03D80 05C15 PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Bull. Symb. Log. 25, No. 2, 141--181 (2019; Zbl 1477.03167) Full Text: DOI Link
Bazhenov, N. A.; Kalmurzaev, Birzhan S. Rogers semilattices for families of equivalence relations in the Ershov hierarchy. (English. Russian original) Zbl 1445.03050 Sib. Math. J. 60, No. 2, 223-234 (2019); translation from Sib. Mat. Zh. 60, No. 2, 290-305 (2019). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03D45 03D30 03D55 PDFBibTeX XMLCite \textit{N. A. Bazhenov} and \textit{B. S. Kalmurzaev}, Sib. Math. J. 60, No. 2, 223--234 (2019; Zbl 1445.03050); translation from Sib. Mat. Zh. 60, No. 2, 290--305 (2019) Full Text: DOI
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 PDFBibTeX XMLCite \textit{N. Bazhenov} et al., Arch. Math. Logic 58, No. 5--6, 543--563 (2019; Zbl 1477.03143) Full Text: DOI arXiv
Bazhenov, N. A.; Fokina, E. B.; Rossegger, D.; San Mauro, L. Computable bi-embeddable categoricity. (English. Russian original) Zbl 1485.03106 Algebra Logic 57, No. 5, 392-396 (2018); translation from Algebra Logika 57, No. 5, 601-608 (2018). MSC: 03C57 03D45 03C35 PDFBibTeX XMLCite \textit{N. A. Bazhenov} et al., Algebra Logic 57, No. 5, 392--396 (2018; Zbl 1485.03106); 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 1485.03107 Algebra Logic 57, No. 2, 98-114 (2018); translation from Algebra Logika 57, No. 2, 149-174 (2018). MSC: 03C57 03D45 06E05 PDFBibTeX XMLCite \textit{N. A. Bazhenov} and \textit{M. I. Marchuk}, Algebra Logic 57, No. 2, 98--114 (2018; Zbl 1485.03107); translation from Algebra Logika 57, No. 2, 149--174 (2018) Full Text: DOI
Bazhenov, N. A.; Marchuk, M. I. Degrees of autostability relative to strong constructivizations of graphs. (English. Russian original) Zbl 1469.03102 Sib. Math. J. 59, No. 4, 565-577 (2018); translation from Sib. Mat. Zh. 59, No. 4, 719-735 (2018). MSC: 03C57 03D45 03D30 05C20 PDFBibTeX XMLCite \textit{N. A. Bazhenov} and \textit{M. I. Marchuk}, Sib. Math. J. 59, No. 4, 565--577 (2018; Zbl 1469.03102); translation from Sib. Mat. Zh. 59, No. 4, 719--735 (2018) 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 PDFBibTeX XMLCite \textit{N. A. Bazhenov} et al., J. Symb. Log. 83, No. 1, 103--116 (2018; Zbl 1447.03008) 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 PDFBibTeX XMLCite \textit{N. A. Bazhenov}, Lobachevskii J. Math. 38, No. 4, 600--614 (2017; Zbl 1420.03070) Full Text: DOI
Bazhenov, Nikolay A.; Yamaleev, Mars M. Degrees of categoricity of rigid structures. (English) Zbl 1496.03152 Kari, Jarkko (ed.) et al., Unveiling dynamics and complexity. 13th conference on computability in Europe, CiE 2017, Turku, Finland, June 12–16, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10307, 152-161 (2017). MSC: 03C57 03D28 03D45 PDFBibTeX XMLCite \textit{N. A. Bazhenov} and \textit{M. M. Yamaleev}, Lect. Notes Comput. Sci. 10307, 152--161 (2017; Zbl 1496.03152) 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 PDFBibTeX XMLCite \textit{N. Bazhenov}, Lect. Notes Comput. Sci. 10185, 85--96 (2017; Zbl 1459.03045) 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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{N. Bazhenov}, Stud. Log. 104, No. 6, 1083--1097 (2016; Zbl 1417.03233) Full Text: DOI
Bazhenov, Nikolay Prime model with no degree of autostability relative to strong constructivizations. (English) Zbl 1461.03027 Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 117-126 (2015). MSC: 03C57 03D45 06E05 PDFBibTeX XMLCite \textit{N. Bazhenov}, Lect. Notes Comput. Sci. 9136, 117--126 (2015; Zbl 1461.03027) Full Text: DOI
Bazhenov, N. A. Autostability spectra for Boolean algebras. (English. Russian original) Zbl 1355.03028 Algebra Logic 53, No. 6, 502-505 (2015); translation from Algebra Logika 53, No. 6, 764-769 (2014). MSC: 03C57 03D45 06E05 PDFBibTeX XMLCite \textit{N. A. Bazhenov}, Algebra Logic 53, No. 6, 502--505 (2015; Zbl 1355.03028); translation from Algebra Logika 53, No. 6, 764--769 (2014) Full Text: DOI
Bazhenov, N. A. 2-computably enumerable degrees of categoricity for Boolean algebras with distinguished automorphisms. (Russian, English) Zbl 1349.03042 Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 14, No. 1, 19-27 (2014); translation in J. Math. Sci., New York 211, No. 6, 738-746 (2015). MSC: 03D25 03D45 03C35 PDFBibTeX XMLCite \textit{N. A. Bazhenov}, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 14, No. 1, 19--27 (2014; Zbl 1349.03042); translation in J. Math. Sci., New York 211, No. 6, 738--746 (2015) Full Text: DOI
Bazhenov, N. A. Computable numberings of the class of Boolean algebras with distinguished endomorphisms. (English. Russian original) Zbl 1337.03063 Algebra Logic 52, No. 5, 355-366 (2013); translation from Algebra Logika 52, No. 5, 535-552 (2013). MSC: 03D45 03C57 06E05 PDFBibTeX XMLCite \textit{N. A. Bazhenov}, Algebra Logic 52, No. 5, 355--366 (2013; Zbl 1337.03063); translation from Algebra Logika 52, No. 5, 535--552 (2013) Full Text: DOI
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 PDFBibTeX XMLCite \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
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 PDFBibTeX XMLCite \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
Bazhenov, N. A.; Tukhbatullina, R. R. Constructivizability of the Boolean algebra \( \mathfrak{B}( \omega ) \) with a distinguished automorphism. (English. Russian original) Zbl 1286.03127 Algebra Logic 51, No. 5, 384-403 (2012); translation from Algebra Logika 51, No. 5, 579-607 (2012). MSC: 03C57 06E05 PDFBibTeX XMLCite \textit{N. A. Bazhenov} and \textit{R. R. Tukhbatullina}, Algebra Logic 51, No. 5, 384--403 (2012; Zbl 1286.03127); translation from Algebra Logika 51, No. 5, 579--607 (2012) Full Text: DOI