Подписаться
Nikolay Bazhenov
Nikolay Bazhenov
Sobolev Institute of Mathematics
Подтвержден адрес электронной почты в домене math.nsc.ru - Главная страница
Название
Процитировано
Процитировано
Год
Foundations of online structure theory
N Bazhenov, R Downey, I Kalimullin, A Melnikov
Bulletin of Symbolic Logic 25 (2), 141-181, 2019
552019
Automatic and polynomial-time algebraic structures
N Bazhenov, M Harrison-Trainor, I Kalimullin, A Melnikov, KM Ng
The Journal of Symbolic Logic 84 (4), 1630-1669, 2019
362019
Autostability spectra for decidable structures
N Bazhenov
Mathematical Structures in Computer Science 28 (3), 392-411, 2018
222018
The index set of Boolean algebras autostable relative to strong constructivizations
SS Goncharov, NA Bazhenov, MI Marchuk
Siberian Mathematical Journal 56 (3), 393-404, 2015
212015
Δ^0_2-Categoricity of Boolean Algebras
N Bazhenov
Journal of Mathematical Sciences 203 (4), 444-454, 2014
212014
Learning families of algebraic structures from informant
N Bazhenov, E Fokina, L San Mauro
Information and Computation 275, 104590, 2020
202020
Autostability spectra for Boolean algebras
NA Bazhenov
Algebra and Logic 53 (6), 502-506, 2015
192015
Degrees of categoricity and spectral dimension
NA Bazhenov, IS Kalimullin, MM Yamaleev
The Journal of Symbolic Logic 83 (1), 103-116, 2018
182018
Computable stone spaces
N Bazhenov, M Harrison-Trainor, A Melnikov
Annals of Pure and Applied Logic 174 (9), 103304, 2023
152023
Online presentations of finitely generated structures
N Bazhenov, I Kalimullin, A Melnikov, KM Ng
Theoretical Computer Science 844, 195-216, 2020
152020
Effective categoricity for distributive lattices and Heyting algebras
NA Bazhenov
Lobachevskii Journal of Mathematics 38, 600-614, 2017
152017
Prime model with no degree of autostability relative to strong constructivizations
N Bazhenov
Conference on Computability in Europe, 117-126, 2015
152015
Degrees of categoricity for superatomic Boolean algebras
NA Bazhenov
Algebra and Logic 52 (3), 179-188, 2013
152013
Degrees of autostability relative to strong constructivizations for Boolean algebras
NA Bazhenov
Algebra and Logic 55 (2), 87-102, 2016
142016
Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей естественных классов
СС Гончаров, НА Баженов, МИ Марчук
Доклады Академии наук 464 (1), 12-12, 2015
142015
Categoricity Spectra for Polymodal Algebras
N Bazhenov
Studia Logica 104 (6), 1083-1097, 2016
132016
Classifying equivalence relations in the Ershov hierarchy
N Bazhenov, M Mustafa, L San Mauro, A Sorbi, M Yamaleev
Archive for Mathematical Logic 59 (7), 835-864, 2020
122020
Degrees of bi-embeddable categoricity
N Bazhenov, E Fokina, D Rossegger, L San Mauro
Computability 10 (1), 1-16, 2021
112021
Degrees of bi-embeddable categoricity of equivalence structures
N Bazhenov, E Fokina, D Rossegger, L San Mauro
Archive for Mathematical Logic 58, 543-563, 2019
112019
On dark computably enumerable equivalence relations
NA Bazhenov, BS Kalmurzaev
Siberian Mathematical Journal 59, 22-30, 2018
112018
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20