Nikolay Bazhenov

60 papers A* 1A 1B 1C 18Misc 1Journal 37Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Classifying different criteria for learning algebraic structures.
Ann. Pure Appl. Log.
Nikolay Bazhenov, Vittorio Cipriani, Sanjay Jain, Luca San Mauro, Frank Stephan
2026 J jnl
Punctually Standard and Nonstandard Models of Natural Numbers.
CoRR
Nikolay Bazhenov, Ivan Georgiev, Dariusz Kalocinski, Stefan V. Vatev, Michal Wroclawski
2025 J jnl
A Lopez-Escobar Theorem for continuous Domains.
J. Symb. Log.
Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev
2025 J jnl
A non-computable c.e. closed subset of [0,1].
J. Log. Comput.
Serikzhan A. Badaev, Nikolay Bazhenov, Sergey Goncharov, Birzhan S. Kalmurzayev, Alexander G. Melnikov
2025 J jnl
Computably and punctually universal spaces.
Ann. Pure Appl. Log.
Ramil Bagaviev, Ilnur I. Batyrshin, Nikolay Bazhenov, Dmitry Bushtets, Marina Dorzhieva, Heer Tern Koh, Ruslan Kornev, Alexander G. Melnikov, Keng Meng Ng
2025 J jnl
Degrees of relations on canonically ordered natural numbers and integers.
Arch. Math. Log.
Nikolay Bazhenov, Dariusz Kalocinski, Michal Wroclawski
2025 C conf
On Learning Existentially Definable Subsets in a Computable Structure.
CiE
Nikolay Bazhenov, Manat Mustafa
2025 C conf
On a Computability-Theoretic Approach to Boolean-Valued Models.
TAMC
Nikolay Bazhenov, Manat Mustafa
2025 J jnl
On cardinalities of Rogers semilattices for families in the Ershov hierarchy.
Inf. Comput.
Keng Meng Ng, Nikolay Bazhenov, Birzhan S. Kalmurzayev, Dias Nurlanbek
2025 J jnl
On learning down-sets in quasi-orders, and ideals in Boolean algebras.
Theory Comput. Syst.
Nikolay Bazhenov, Manat Mustafa
2025 A* conf
Online and Feasible Presentability: From Trees to Modal Algebras.
ICALP
Nikolay Bazhenov, Dariusz Kalocinski, Michal Wroclawski
2025 J jnl
Online and feasible presentability: from trees to modal algebras.
CoRR
Nikolay Bazhenov, Dariusz Kalocinski, Michal Wroclawski
2025 J jnl
Undecidability of the degree structure of primitive recursive
J. Log. Comput.
Birzhan S. Kalmurzayev, Nikolay Bazhenov, Alibek M. Iskakov
2024 C conf
Learning Families of Algebraic Structures from Text.
CiE
Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev
2024 C conf
On Arithmetical Numberings in Reverse Mathematics.
CiE
Nikolay Bazhenov, Marta Fiori-Carones, Manat Mustafa
2024 C conf
On Learning Families of Ideals in Lattices and Boolean Algebras.
TAMC
Nikolay Bazhenov, Manat Mustafa
2024 J jnl
Primitive recursive reverse mathematics.
Ann. Pure Appl. Log.
Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu, Alexander G. Melnikov
2023 J jnl
Complexity of Σ
Arch. Math. Log.
Svetlana Aleksandrova, Nikolay Bazhenov, Maxim V. Zubkov
2023 J jnl
Computable Heyting Algebras with Distinguished Atoms and Coatoms.
J. Log. Lang. Inf.
Nikolay Bazhenov
2023 J jnl
Computable Stone spaces.
Ann. Pure Appl. Log.
Nikolay Bazhenov, Matthew Harrison-Trainor, Alexander G. Melnikov
2023 B conf
Degree Spectra, and Relative Acceptability of Notations.
CSL
Nikolay Bazhenov, Dariusz Kalocinski
2023 J jnl
Learning algebraic structures with the help of Borel equivalence relations.
Theor. Comput. Sci.
Nikolay Bazhenov, Vittorio Cipriani, Luca San Mauro
2023 J jnl
On the main scientific achievements of Victor Selivanov.
Comput.
Nikolay Bazhenov, Takayuki Kihara, Svetlana Selivanova, Dieter Spreen
2023 J jnl
Preface.
Comput.
Nikolay Bazhenov, Takayuki Kihara, Svetlana Selivanova
2022 C conf
Calculating the Mind Change Complexity of Learning Algebraic Structures.
CiE
Nikolay Bazhenov, Vittorio Cipriani, Luca San Mauro
2022 A conf
Intrinsic Complexity of Recursive Functions on Natural Numbers with Standard Order.
STACS
Nikolay Bazhenov, Dariusz Kalocinski, Michal Wroclawski
2022 C conf
On Two Types of Concept Lattices in the Theory of Numberings.
TAMC
Nikolay Bazhenov, Manat Mustafa, Anvar M. Nurakunov
2022 J jnl
On bi-embeddable categoricity of algebraic structures.
Ann. Pure Appl. Log.
Nikolay Bazhenov, Dino Rossegger, Maxim V. Zubkov
2022 J jnl
On the effective universality of mereological theories.
Math. Log. Q.
Nikolay Bazhenov, Hsing-chien Tsai
2022 J jnl
Primitive recursive equivalence relations and their primitive recursive complexity.
Comput.
Nikolay Bazhenov, Keng Meng Ng, Luca San Mauro, Andrea Sorbi
2022 J jnl
Relatively acceptable notation.
CoRR
Nikolay Bazhenov, Dariusz Kalocinski
2022 J jnl
Rogers semilattices of limitwise monotonic numberings.
Math. Log. Q.
Nikolay Bazhenov, Manat Mustafa, Zhansaya Tleuliyeva
2022 J jnl
Rogers semilattices of punctual numberings.
Math. Struct. Comput. Sci.
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
2022 C conf
Well-Orders Realized by C.E. Equivalence Relations.
CiE
Nikolay Bazhenov, Maxim V. Zubkov
2021 — conf
Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy.
LORI
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev, Luca San Mauro
2021 J jnl
Degrees of bi-embeddable categoricity.
Comput.
Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Luca San Mauro
2021 J jnl
On the Turing complexity of learning finite families of algebraic structures.
J. Log. Comput.
Nikolay Bazhenov, Luca San Mauro
2020 C conf
A Note on Computable Embeddings for Ordinals and Their Reverses.
CiE
Nikolay Bazhenov, Stefan V. Vatev
2020 J jnl
Classifying equivalence relations in the Ershov hierarchy.
Arch. Math. Log.
Nikolay Bazhenov, Manat Mustafa, Luca San Mauro, Andrea Sorbi, Mars M. Yamaleev
2020 J jnl
Decompositions of decidable abelian groups.
Int. J. Algebra Comput.
Nikolay Bazhenov, Sergey Goncharov, Alexander G. Melnikov
2020 Misc conf
Definable Subsets of Polynomial-Time Algebraic Structures.
CSR
Nikolay Bazhenov
2020 J jnl
Learning families of algebraic structures from informant.
Inf. Comput.
Nikolay Bazhenov, Ekaterina B. Fokina, Luca San Mauro
2020 J jnl
Online presentations of finitely generated structures.
Theor. Comput. Sci.
Nikolay Bazhenov, Iskander Sh. Kalimullin, Alexander G. Melnikov, Keng Meng Ng
2020 C conf
Semilattices of Punctual Numberings.
TAMC
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
2019 J jnl
Automatic and Polynomial-Time Algebraic Structures.
J. Symb. Log.
Nikolay Bazhenov, Matthew Harrison-Trainor, Iskander Sh. Kalimullin, Alexander G. Melnikov, Keng Meng Ng
2019 C conf
Bounded Reducibility for Computable Numberings.
CiE
Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev
2019 J jnl
Computable Contact Algebras.
Fundam. Informaticae
Nikolay Bazhenov
2019 C conf
Computable Isomorphisms of Distributive Lattices.
TAMC
Nikolay Bazhenov, Manat Mustafa, Mars M. Yamaleev
2019 J jnl
Degrees of bi-embeddable categoricity of equivalence structures.
Arch. Math. Log.
Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Luca San Mauro
2019 C conf
Effective Embeddings for Pairs of Structures.
CiE
Nikolay Bazhenov, Hristo Ganchev, Stefan V. Vatev
2019 J jnl
Elementary theories and hereditary undecidability for semilattices of numberings.
Arch. Math. Log.
Nikolay Bazhenov, Manat Mustafa, Mars M. Yamaleev
2019 J jnl
Foundations of Online Structure Theory.
Bull. Symb. Log.
Nikolay Bazhenov, Rod Downey, Iskander Sh. Kalimullin, Alexander G. Melnikov
2018 J jnl
Autostability spectra for decidable structures.
Math. Struct. Comput. Sci.
Nikolay Bazhenov
2018 J jnl
Degrees of Categoricity and spectral Dimension.
J. Symb. Log.
Nikolay Bazhenov, Iskander Sh. Kalimullin, Mars M. Yamaleev
2018 C conf
Degrees of Categoricity for Prime and Homogeneous Models.
CiE
Nikolay Bazhenov, Margarita Marchuk
2017 C conf
A Note on Effective Categoricity for Linear Orderings.
TAMC
Nikolay Bazhenov
2017 C conf
Degrees of Categoricity of Rigid Structures.
CiE
Nikolay Bazhenov, Mars M. Yamaleev
2017 C conf
Turing Computable Embeddings, Computable Infinitary Equivalence, and Linear Orders.
CiE
Nikolay Bazhenov
2016 J jnl
Categoricity Spectra for Polymodal Algebras.
Stud Logica
Nikolay Bazhenov
2015 C conf
Prime Model with No Degree of Autostability Relative to Strong Constructivizations.
CiE
Nikolay Bazhenov