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.