Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
Р.К. Пранк (1981)
Algebra i Logika
Similarity:
Displaying similar documents to “Одно свойство перечислимых множеств, содержащих 'сложно выводимые' формулы”
Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
О перечислениях разностей рекурсивно перечислимых множеств
Ш.Т. Ишмухаметов (1987)
Verojatnostnye metody i kibernetika
Similarity:
Несколько замечаний о классах рекурсивно-перечислимых множеств.
В.Л. Селиванов (1978)
Sibirskij matematiceskij zurnal
Similarity:
Один подход к построению конструктивных аналогов теории множеств
Л.Н. Гордеев (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Свойство t-ретрассируемости и автоморфизмы решетки рекурсивно-перечислимых множеств
Ю.Д. Шмидт (1989)
Algebra i Logika
Similarity:
О некоторых решеточно-инвариантных свойствах семейств рекурсивно-перечислимых множеств
А.Н. Дёгтев (1988)
Algebra i Logika
Similarity:
О семехствах рекурсивно-перечислимых множеств
Ш.Т. Ишмухаметов (1982)
Verojatnostnye metody i kibernetika
Similarity:
Дефицитные множестба рекурсивно перечислимых множеств и их разностей
А.Р. Сабирзянов (1987)
Verojatnostnye metody i kibernetika
Similarity:
Области импримитивности и локализация идеалов множеств.
В.В. Мишкин (1990)
Sibirskij matematiceskij zurnal
Similarity:
О кратной m-сводимости индексных множеств.
З.Г. Хисамиев (1984)
Sibirskij matematiceskij zurnal
Similarity:
О несравнимых нумерациях
С.А. Бадаев (1974)
Sibirskij matematiceskij zurnal
Similarity:
Одна теорема о надмножествах рекурсивно-перечислимых множеств
Е.З. Дымент (1977)
Sibirskij matematiceskij zurnal
Similarity:
О позитивных нумерациях
С.А. Бадаев (1977)
Sibirskij matematiceskij zurnal
Similarity: