Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры
С.П. Одинцов (1992)
Algebra i Logika
Similarity:
Displaying similar documents to “Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры.”
Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры
О верхней полурешетке рекурсивно-перечислимых sQ-степеней.
Р.Ш. Оманадзе (1991)
Algebra i Logika
Similarity:
Строение верхней полурешетки рекурсивно-перечислимых m-степеней и смежные вопросы. 1
С.Д. Денисов (1978)
Algebra i Logika
Similarity:
Две теоремы о рекурсивно перечислимых множествах.
М.М. Арсланов (1968)
Algebra i Logika
Similarity:
О некоторых решеточно-инвариантных свойствах семейств рекурсивно-перечислимых множеств
А.Н. Дёгтев (1988)
Algebra i Logika
Similarity:
Свойство t-ретрассируемости и автоморфизмы решетки рекурсивно-перечислимых множеств
Ю.Д. Шмидт (1989)
Algebra i Logika
Similarity:
Решетка рекурсивно-перечислимых подструктур эффективной системы замыканий
С.Л. Шохор, S. L. Šochor, S. L. Šohor, S. L. Šochor (1995)
Algebra i Logika
Similarity:
О tt-степенях рекурсивно-перечислимых тьюринговых степеней.
Г.Н. Кобзев (1979)
Algebra i Logika
Similarity:
О tt- и m-степенях
А.Н. Дёгтев (1973)
Algebra i Logika
Similarity:
О степенях рекурсивно перечислимых множеств.
С. Каллибеков (1973)
Sibirskij matematiceskij zurnal
Similarity:
О существовании рекурсивно-перечислимых минимальных табличных степеней.
С.С. Марченков (1975)
Algebra i Logika
Similarity:
О верхней полурешетке рекурсивно-перечислимых Q-степеней.
Р.Ш. Оманадзе (1984)
Algebra i Logika
Similarity:
Соотношения между некоторыми сводимостями
Р.Ш. Оманадзе, R. Š. Omanadze, R. Š. Omanadze, R. Š. Omanadze (1994)
Algebra i Logika
Similarity:
О кратной позитивной сводимости
А.Н. Дёгтев (1993)
Sibirskij matematiceskij zurnal
Similarity:
О семехствах рекурсивно-перечислимых множеств
Ш.Т. Ишмухаметов (1982)
Verojatnostnye metody i kibernetika
Similarity:
Одна теорема о надмножествах рекурсивно-перечислимых множеств
Е.З. Дымент (1977)
Sibirskij matematiceskij zurnal
Similarity:
Слабо рекурсивно перечилимые степени и предельная вычислимость
М.М. Арсланов (1979)
Verojatnostnye metody i kibernetika
Similarity:
Универсальные рекурсивно перечислимые булевы алгебры
С.С. Гончаров (1983)
Sibirskij matematiceskij zurnal
Similarity:
О числе неэквивалентных вычислимых индексаций фиксированного семейства множеств
С.Л. Березнюк (1993)
Algebra i Logika
Similarity:
Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
Р.К. Пранк (1981)
Algebra i Logika
Similarity:
О полной btt-степени.
Г.Н. Кобзев (1974)
Algebra i Logika
Similarity:
Три теоремы о tt-степенях.
А.Н. Дегтев (1978)
Algebra i Logika
Similarity: