RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика

Алгебра и логика, 2004, том 43, номер 1, страницы 77–109 (Mi al58)

Булевы иерархии разбиений над редуцируемой базой
В. Л. Селиванов

Эта публикация цитируется в следующих статьяx:
  1. Victor Selivanov, Ilya Smirnov, Lecture Notes in Computer Science, 15764, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025, 440  crossref
  2. Vladimir Podolskii, Victor Selivanov, “Complexity Aspects of the Extension of Wagner's Hierarchy to k-Partitions”, Electron. Proc. Theor. Comput. Sci., 407 (2024), 186  crossref
  3. RAPHAËL CARROY, LUCA MOTTO ROS, SALVATORE SCAMPERTI, “A CLASSIFICATION OF THE WADGE HIERARCHIES ON ZERO-DIMENSIONAL POLISH SPACES”, J. symb. log., 2023, 1  crossref
  4. Selivanov V., “Q-Wadge Degrees as Free Structures”, Computability, 9:3-4 (2020), 327–341  crossref  mathscinet  zmath  isi  scopus
  5. Hertling P., Selivanov V., “Complexity Issues For Preorders on Finite Labeled Forests”, Logic, Computation, Hierarchies, Ontos Mathematical Logic, 4, eds. Brattka V., Diener H., Spreen D., Walter de Gruyter Gmbh, 2014, 165–189  mathscinet  isi
  6. Zhukov A.V., “Some Notes on the Universality of Three-Orders on Finite Labeled Posets”, Logic, Computation, Hierarchies, Ontos Mathematical Logic, 4, eds. Brattka V., Diener H., Spreen D., Walter de Gruyter Gmbh, 2014, 393–409  mathscinet  isi
  7. Selivanov V., “Fine Hierarchies via Priestley Duality”, Ann. Pure Appl. Log., 163:8, SI (2012), 1075–1107  crossref  mathscinet  zmath  isi  elib  scopus
  8. Kwuida L., Lehtonen E., “On the Homomorphism Order of Labeled Posets”, Order, 28:2 (2011), 251–265  crossref  mathscinet  zmath  isi  scopus
  9. Victor Selivanov, Lecture Notes in Computer Science, 6735, Models of Computation in Context, 2011, 260  crossref
  10. Peter Hertling, Victor Selivanov, Lecture Notes in Computer Science, 6735, Models of Computation in Context, 2011, 112  crossref
  11. Selivanov V.L., “On the Wadge reducibility of $k$-partitions”, J. Log. Algebr. Program., 79:1 (2010), 92–102  crossref  mathscinet  zmath  isi  scopus
  12. А. В. Жуков, О. В. Кудинов, В. Л. Селиванов, “Определимость операций замыкания в $h$-предпорядке размеченных лесов”, Алгебра и логика, 49:2 (2010), 181–194  mathnet  mathscinet  zmath; A. V. Zhukov, O. V. Kudinov, V. L. Selivanov, “Definability of closure operations in the $h$-quasiorder of labeled forests”, Algebra and Logic, 49:2 (2010), 120–129  crossref  isi
  13. Kudinov O.V., Selivanov V.L., Zhukov A.V., “Undecidability in Weihrauch Degrees”, Programs, Proofs, Processes, Lecture Notes in Computer Science, 6158, 2010, 256–265  crossref  mathscinet  zmath  adsnasa  isi  scopus
  14. Kudinov O.V., Selivanov V.L., Zhukov A.V., “Definability in the $h$-quasiorder of labeled forests”, Ann. Pure Appl. Logic, 159:3 (2009), 318–332  crossref  mathscinet  zmath  isi  elib  scopus
  15. Selivanov V.L., “Undecidability of some structures related to computation theory”, J. Logic Comput., 19:1 (2009), 177–197  crossref  mathscinet  zmath  isi  elib  scopus
  16. Kudinov O.V., Selivanov V.L., “A Gandy Theorem for Abstract Structures and Applications to First-Order Definability”, Mathematical Theory and Computational Practice, Lecture Notes in Computer Science, 5635, 2009, 290–299  crossref  mathscinet  zmath  isi  scopus
  17. Selivanov V.L., “Fine hierarchies and m-reducibilities in theoretical computer science”, Theoret. Comput. Sci., 405:1-2 (2008), 116–163  crossref  mathscinet  zmath  isi  elib  scopus
  18. Kosub S., Wagner K.W., “The boolean hierarchy of NP-partitions”, Inform. and Comput., 206:5 (2008), 538–568  crossref  mathscinet  zmath  isi  scopus
  19. Lehtonen E., “Labeled posets are universal”, European J. Combin., 29:2 (2008), 493–506  crossref  mathscinet  zmath  isi  elib  scopus
  20. Victor Selivanov, “On the Difference Hierarchy in Countably Based T0-Spaces”, Electronic Notes in Theoretical Computer Science, 221 (2008), 257  crossref
  21. Victor Selivanov, “On the Wadge Reducibility of k-Partitions”, Electronic Notes in Theoretical Computer Science, 202 (2008), 59  crossref
  22. В. Л. Селиванов, “Фактор-алгебра размеченных лесов по отношению $h$-эквивалентности”, Алгебра и логика, 46:2 (2007), 217–243  mathnet  mathscinet  zmath  elib; V. L. Selivanov, “The quotient algebra of labeled forests modulo $h$-equivalence”, Algebra and Logic, 46:2 (2007), 120–133  crossref  isi  elib
  23. З. Г. Хисамиев, “Дистрибутивные решётки нумераций”, Алгебра и логика, 46:1 (2007), 83–102  mathnet  mathscinet  zmath; Z. G. Khisamiev, “Distributive lattices of numberings”, Algebra and Logic, 46:1 (2007), 50–61  crossref  isi
  24. Kudinov O.V., Selivanov V.L., “Undecidability in the homomorphic quasiorder of finite labelled forests”, J. Logic Comput., 17:6 (2007), 1135–1151  crossref  mathscinet  zmath  isi  elib  scopus
  25. Selivanov V.L., “Hierarchies of $\Delta^0_2$-measurable $k$-partitions”, MLQ Math. Log. Q., 53:4-5 (2007), 446–461  crossref  mathscinet  zmath  isi  scopus
  26. Kudinov O.V., Selivanov V.L., “Definability in the homomorphic quasiorder of finite labeled forests”, Computation and Logic in the Real World, Proceedings, Lecture Notes in Computer Science, 4497, 2007, 436–445  crossref  mathscinet  zmath  isi  scopus
  27. Selivanov V.L., “A useful undecidable theory”, Computation and Logic in the Real World, Proceedings, Lecture Notes in Computer Science, 4497, 2007, 685–694  crossref  mathscinet  zmath  isi  scopus
  28. Lehtonen E., “Descending chains and antichains of the unary, linear, and monotone subfunction relations”, Order, 23:2-3 (2006), 129–142  crossref  mathscinet  zmath  isi  scopus
  29. Selivanov V.L., “Towards a descriptive set theory for domain-like structures”, Theoret. Comput. Sci., 365:3 (2006), 258–282  crossref  mathscinet  zmath  isi  elib  scopus
  30. Kuske D., “Theories of orders on the set of words”, Theor. Inform. Appl., 40:1 (2006), 53–74  crossref  mathscinet  zmath  isi  scopus
  31. Kudinov O.V., Selivanov V.L., “Undecidability in the homomorphic quasiorder of finite labeled forests”, Logical approaches to computational barriers, Second conference on computability in Europe, CiE 2006 (Swansea, UK, June 30–July 5, 2006), Proceedings, Lecture Notes in Comput. Sci., 3988, Springer, Berlin, 2006, 289–296  crossref  zmath  isi  scopus
  32. В. Л. Селиванов, “Вариации на тему сводимости Вэджа”, Матем. тр., 8:1 (2005), 135–175  mathnet  mathscinet  zmath; V. L. Selivanov, “Variations on the Wadge Reducibility”, Siberian Adv. Math., 15:3 (2005), 44–80
  33. Victor L. Selivanov, “Variations on Wadge Reducibility Extended Abstract”, Electronic Notes in Theoretical Computer Science, 120 (2005), 159  crossref


© МИАН, 2025