Nikolay Bazhenov
Новосибирский государственный университет
- Computability, Logic, AI Algorithms
- semigroups and automata theory
- Advanced Topology and Set Theory
- Advanced Algebra and Logic
- Logic, Reasoning, and Knowledge
Чем занимается
Ключевые темы по публикациям: Computability, Logic, AI Algorithms; semigroups and automata theory; Advanced Topology and Set Theory; Advanced Algebra and Logic; Logic, Reasoning, and Knowledge.
Последние работы
Все 138 в OpenAlexFOUNDATIONS OF ONLINE STRUCTURE THEORY2019 · аннотациясвернуть
Abstract The survey contains a detailed discussion of methods and results in the new emerging area of online “punctual” structure theory. We also state several open problems.
AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES2019 · аннотациясвернуть
Abstract A structure is automatic if its domain, functions, and relations are all regular languages. Using the fact that every automatic structure is decidable, in the literature many decision problems have been solved…
- Autostability Spectra for Boolean Algebras2015
- Online presentations of finitely generated structures2020
Autostability spectra for decidable structures2016 · аннотациясвернуть
We study autostability spectra relative to strong constructivizations (SC-autostability spectra). For a decidable structure S, the SC-autostability spectrum of S is the set of all Turing degrees…
- On Computability of Ideal Lattices2026
ON UNIVERSAL NUMBERINGS OF TWO-ELEMENT FAMILIES IN THE ERSHOV HIERARCHY2026 · аннотациясвернуть
The study of local and global invariants of the Rogers semilattice is an important and fundamental problem in numbering theory and computability theory. Global invariants include properties such as an existence of a…
- PRIMITIVE RECURSIVE CATEGORICITY SPECTRA OF FUNCTIONAL STRUCTURES2026
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Шаблон письма
Здравствуйте, Nikolay Bazhenov! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Прочитал(а) вашу работу «FOUNDATIONS OF ONLINE STRUCTURE THEORY» (2019) — она близка к тому, чем я хочу заниматься. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
На этапе теста письмо отправляешь сам из своей почты. Отправка из сервиса и статусы заявок — скоро.