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

Алгебра и логика, 2005, том 44, номер 2, страницы 173–197 (Mi al102)

О классификации счётных булевых термов
В. Л. Селиванов

Эта публикация цитируется в следующих статьяx:
  1. Victor Selivanov, “Descriptive complexity of qcb0-spaces”, Theoretical Computer Science, 945 (2023), 113666  crossref
  2. Victor Selivanov, Lecture Notes in Computer Science, 13359, Revolutions and Revelations in Computability, 2022, 287  crossref
  3. 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
  4. В. Л. Селиванов, “Вариации на тему сводимости Вэджа”, Матем. тр., 8:1 (2005), 135–175  mathnet  mathscinet  zmath; V. L. Selivanov, “Variations on the Wadge Reducibility”, Siberian Adv. Math., 15:3 (2005), 44–80


© МИАН, 2025