Victor Selivanov
Санкт-Петербургский государственный университет
- Computability, Logic, AI Algorithms
- Advanced Algebra and Logic
- semigroups and automata theory
- Advanced Topology and Set Theory
- Logic, programming, and type systems
Чем занимается
Ключевые темы по публикациям: Computability, Logic, AI Algorithms; Advanced Algebra and Logic; semigroups and automata theory; Advanced Topology and Set Theory; Logic, programming, and type systems.
Последние работы
Все 194 в OpenAlex- Fine hierarchy of regular ω-languages1998
Fine hierarchies and Boolean terms1995 · аннотациясвернуть
Abstract We consider fine hierarchies in recursion theory, descriptive set theory, logic and complexity theory. The main results state that the sets of values of different Boolean terms coincide with the levels of…
- Towards a descriptive set theory for domain-like structures2006
Wadge Degrees ofω-Languages of Deterministic Turing Machines2003 · аннотациясвернуть
We describe Wadge degrees of ω-languages recognizable by deterministic Turing machines. In particular, it is shown that the ordinal corresponding to these degrees is ξω where ξ = ω1CK is the first non-recursive ordinal…
- Enumerations of families of general recursive functions1976
Universal Boolean algebras, their ideals, and applications to semantic classes of models2026 · аннотациясвернуть
We explore numbered Boolean algebras over classes Ξ of arithmetical and analytical hierarchies. We show the existence and uniqueness (up to computable isomorphism) of universal Boolean Ξ -algebras, determine the classes…
- Complexity issues for the iterated h-preorders2025
- Ordered Fields and Grzegorczyk’s Hierarchy2025
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Шаблон письма
Здравствуйте, Victor Selivanov! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Прочитал(а) вашу работу «Fine hierarchy of regular ω-languages» (1998) — она близка к тому, чем я хочу заниматься. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
На этапе теста письмо отправляешь сам из своей почты. Отправка из сервиса и статусы заявок — скоро.