Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
Р.К. Пранк (1981)
Algebra i Logika
Similarity:
Displaying similar documents to “О существовании неотделимой пары в рекурсивной теории допустимых множеств”
Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
О числе неэквивалентных вычислимых индексаций фиксированного семейства множеств
С.Л. Березнюк (1993)
Algebra i Logika
Similarity:
Полнота в арифметической иерархии и неподвижные точки
М.М. Арсланов (1989)
Algebra i Logika
Similarity:
О частотном перечислении множеств.
Е.Б. Кинбер (1974)
Algebra i Logika
Similarity:
О кратной m-сводимости индексных множеств.
З.Г. Хисамиев (1984)
Sibirskij matematiceskij zurnal
Similarity:
Свойство t-ретрассируемости и автоморфизмы решетки рекурсивно-перечислимых множеств
Ю.Д. Шмидт (1989)
Algebra i Logika
Similarity:
Индексные множества классов гипер-гиперпростых множеств
В.Л. Селиванов (1990)
Algebra i Logika
Similarity:
Иерархии гиперарифмитических множеств и функций
В.Л. Селиванов (1983)
Algebra i Logika
Similarity:
О семехствах рекурсивно-перечислимых множеств
Ш.Т. Ишмухаметов (1982)
Verojatnostnye metody i kibernetika
Similarity:
О некоторых решеточно-инвариантных свойствах семейств рекурсивно-перечислимых множеств
А.Н. Дёгтев (1988)
Algebra i Logika
Similarity:
Позитивные нумерации семейств с однозначными нимерациями
С.С. Гончаров (1983)
Algebra i Logika
Similarity:
О кратной позитивной сводимости
А.Н. Дёгтев (1993)
Sibirskij matematiceskij zurnal
Similarity:
О степенях рекурсивно перечислимых множеств.
С. Каллибеков (1973)
Sibirskij matematiceskij zurnal
Similarity:
Дефицитные множестба рекурсивно перечислимых множеств и их разностей
А.Р. Сабирзянов (1987)
Verojatnostnye metody i kibernetika
Similarity:
Две теоремы о рекурсивно перечислимых множествах.
М.М. Арсланов (1968)
Algebra i Logika
Similarity:
О позитивных нумерациях семейств множеств иерархии Ершова
Ж.Т. Таласбаева (2003)
Algebra i Logika
Similarity:
Об одном свойстве креативных множеств
И.А. Лавров, I. A. Lavrov, I. A. Lavrov, I. A. Lavrov (1996)
Algebra i Logika
Similarity:
О покрытии классами перестановочных эквивалентностей
Е.А. Палютин, E. A. Paljutin, E. A. Palǔtin, E. A. Paljutin (1995)
Algebra i Logika
Similarity:
О некоторых примерах верхних полурешеток вычислимых нумераций.
В.В. Вьюгин (1973)
Algebra i Logika
Similarity:
Несколько замечаний о классах рекурсивно-перечислимых множеств.
В.Л. Селиванов (1978)
Sibirskij matematiceskij zurnal
Similarity:
О верхней полурешетке рекурсивно-перечислимых sQ-степеней.
Р.Ш. Оманадзе (1991)
Algebra i Logika
Similarity: