Victor Selivanov

Часть публикаций из профиля, по году от новых к старым. Это не полный список последних работ автора; работы без года — в конце.

• 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
• $$L_{\omega \omega }$$, $$L_{\omega _1\omega }$$, and the Wadge Hierarchy2025
• Ordinal Invariants of the h-Preorder on k-Labeled Forests2025
• 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…

• Fine hierarchy of regular ω-languages1998