RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика
Алгебра и логика, 2004, том 43, номер 1, страницы 77–109 (Mi al58)
Булевы иерархии разбиений над редуцируемой базой
В. Л. Селиванов

Список литературы
1. S. Kosub, K. Wagner, The boolean hierarchy of partitions, Technical Report 233, Institut für Informatik, Univ. Würzburg, 1999
2. S. Kosub, K. Wagner, “The boolean hierarchy of $NP$-partitions”, Proc. 17th Symp. Theor. Aspects Comp. Sci., Lect. Notes Comput. Sci., 1770, Springer-Verlag, Berlin, 2000, 157–168  mathscinet  zmath
3. S. Kosub, “On $NP$-partitions over posets with an application of reducing the set of solutions of $NP$ problems”, Proc. 25th Symp. Math. Found. Comp. Sci., Lect. Notes Comput. Sci., 1893, Springer-Verlag, Berlin, 2000, 467–476  mathscinet  zmath
4. S. Kosub, Complexity and partitions, PhD Thesis, Würzburg, 2000
5. В. Л. Селиванов, “О структуре степеней обобщенных индексных множеств”, Алгебра и логика, 21:4 (1982), 472–491  mathnet  mathscinet
6. В. Л. Селиванов, “Тонкая иерархия арифметических множеств и определимые индексные множества”, Математическая логика и алгоритмические проблемы, Труды Ин-та матем. СО АН СССР, 12, 1989, 165–185  mathscinet  zmath
7. В. Л. Селиванов, Иерархическая классификация арифметических множеств и индексные множества, докт. диссер., Ин-т матем. СО АН СССР, Новосибирск, 1989
8. B. A. Davey, H. A. Priestley, Introduction to lattices and order, Cambridge Univ. Press, Cambridge, 1994  mathscinet  zmath
9. J. B. Kruskal, “The theory of well-quasi-ordering: a frequently discovered concept”, J. Comb. Theory, Ser. A, 13:3 (1972), 297–305  crossref  mathscinet  zmath
10. J. B. Kruskal, “Well-quasi-ordering, the tree theorem, and Varzsonyi's conjecture”, Trans. Am. Math. Soc., 95:2 (1960), 210–225  crossref  mathscinet  zmath
11. Ю. Л. Ершов, Теория нумераций, Наука, М., 1977  mathscinet
12. V. L. Selivanov, “Fine hierarchies and Boolean terms”, J. Symb. Log., 60:1 (1995), 289–317  crossref  mathscinet  zmath
13. H. Rogers, Theory of recursive functions and effective computability, McGrow Hill, New York, 1967  mathscinet  zmath
14. Y. L. Ershov, “Theorie der Numerierungen I”, Z. math. Log. Grundl. Math., 19:4 (1973), 289–388  mathscinet
15. Y. L. Ershov, “Theorie der Numerierungen II”, Z. math. Log. Grundl. Math., 21:6 (1975), 473–584  mathscinet  zmath
16. Ю. Л. Ершов, “Об одной иерархии множеств III”, Алгебра и логика, 9:1 (1970), 34–51  mathnet  mathscinet  zmath
17. Y. N. Moschovakis, Descriptive set theory, North-Holland, Amsterdam, 1980  mathscinet  zmath
18. V. L. Selivanov, Hierarchies, numerations, index sets, handwritten notes, Novosibirsk, 1992
19. V. L. Selivanov, “Fine hierarchy of regular $\omega$-languages”, Theor. Comput. Sci., 191:1–2 (1998), 37–59  crossref  mathscinet  zmath
20. V. L. Selivanov, Boolean hierarchy of partitions over reducible bases, Technical report 276, Institut für Informatik, Univ. Würzburg, 2001

© МИАН, 2025