scispace - formally typeset
V

Victor L. Selivanov

Researcher at Russian Academy of Sciences

Publications -  88
Citations -  950

Victor L. Selivanov is an academic researcher from Russian Academy of Sciences. The author has contributed to research in topics: Wadge hierarchy & Computability. The author has an hindex of 16, co-authored 82 publications receiving 845 citations. Previous affiliations of Victor L. Selivanov include Folkwang University of the Arts & Pedagogical University.

Papers
More filters
Journal ArticleDOI

Fine hierarchies and Boolean terms

TL;DR: This work gives new short descriptions of fine hierarchies in recursion theory, descriptive set theory, logic and complexity theory, and shows that collections of sets of values of Boolean terms are almost well ordered by inclusion.
Journal ArticleDOI

Towards a descriptive set theory for domain-like structures

TL;DR: This is a survey of results in descriptive set theory for domains and similar spaces, with the emphasis on the ω-algebraic domains and several open questions and possible future development are discussed.
Journal ArticleDOI

Fine hierarchy of regular Ω-languages

TL;DR: By applying descriptive set theory, the description of the fine structure of regular ω-languages is new, very clear and automata-free and a closure property of thefine structure under Boolean operations is proved.
Journal ArticleDOI

Wadge Degrees of ω-Languages of Deterministic Turing Machines

TL;DR: It is shown that the ordinal corresponding to Wadge degrees of ω -languages recognizable by deterministic Turing machines is ξ ω where ξ = ω 1 CK is the first non-recursive ordinal known as the Church–Kleene ordinal.
Journal ArticleDOI

Hierarchies of Δ02-measurable k -partitions

TL;DR: The main technical contribution of as mentioned in this paper is a complete characterization of the Wadge degrees of [? ] o 2-measurable k-partitions of the Baire space.