Выразимость в элементарной теории рекурсивно-перечислимых множеств с логикой реализуемости
Р.К. Пранк (1981)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: