24 citations · 59 across the 16 of their papers we have counts for
19 papers
Ideal presentations and numberings of some classes of effective quasi-Polish spaces
Matthew de Brecht, Takayuki Kihara, Victor Selivanov
The well known ideal presentations of countably based domains were recently extended to (effective) quasi-Polish spaces. Continuing these investigations, we explore some classes of…
Non-Collapse of the Effective Wadge Hierarchy
Victor Selivanov
We study the recently suggested effective Wadge hierarchy in effective spaces, concentrating on the non-collapse property. Along with hierarchies of sets, we study hierarchies of $…
Wadge Degrees of Classes of omega-Regular k-Partitions
Victor Selivanov
We develop a theory of k-partitions of the set of infinite words recognizable by classes of finite automata. The theory enables to complete proofs of existing results about topolog…
Input-driven automata on well-nested infinite strings: automata-theoretic and topological properties
Alexander Okhotin, Victor L. Selivanov
Automata operating on strings of nested brackets, known as input-driven pushdown automata, and as visibly pushdown automata, have been studied since the 1980s. They were extended t…
Primitive Recursive Ordered Fields and Some Applications
Victor Selivanov, Svetlana Selivanova
We establish primitive recursive versions of some known facts about computable ordered fields of reals and computable reals, and then apply them to proving primitive recursiveness…
A Q-Wadge Hierarchy in Quasi-Polish Spaces
Victor Selivanov
The Wadge hierarchy was originally defined and studied only in the Baire space (and some other zero-dimensional spaces). We extend it here to arbitrary topological spaces by provid…