О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)
В.Н. Власов, С.С. Гончаров (1993)
Algebra i Logika
Similarity:
Displaying similar documents to “Конструктивизируемость суператомных булевых алгебр.”
О сильной конструктивизируемости булевых алгебр элементарной характеристики (1,1,0)
Ограниченные теории конструктивных булевых алгебр.
С.С. Гончаров (1976)
Sibirskij matematiceskij zurnal
Similarity:
О неразрешимости теорий булевых алгебр с выделенным идеалом.
Д.Е. Пальчунов (1986)
Algebra i Logika
Similarity:
Спектры степеней для отношений на булевых алгебрах
С.С. Гончаров, Р. Доуни, Д. Хиршвельд (2003)
Algebra i Logika
Similarity:
Конструктивные модели полных разрешимых теорий.
С.С. Гончаров, А.Т. Нуртазин (1973)
Algebra i Logika
Similarity:
Насыщенность булевых алгебр
А.И. Омаров (1974)
Sibirskij matematiceskij zurnal
Similarity:
Сильная конструктивизируемость счетных насыщенных булевых алгебр.
А.С. Морозов (1982)
Algebra i Logika
Similarity:
Изоморфные подалгебры вероятностных булевых алгебр
Д.А. Владимиров (1992)
Zapiski naucnych seminarov POMI
Similarity:
Арифметическая иерархия и идеалы нумерованных булевых алгебр.
С.П. Одинцов, В.Л. Селиванов (1989)
Sibirskij matematiceskij zurnal
Similarity:
Алгебра Линденбаума-Тарского класса булевых алгебр с одним выделенным идеалом
Д.Е. Пальчунов, D. E. Pal'čunov, D. E. Pal'čunov, D. E. Pal'čunov (1994)
Algebra i Logika
Similarity:
Обобщенно-вычислимые нумерации и тривиальные полурешетки Роджерса.
С.С. Гончаров, А. Сорби, S. S. Gončarov, A. Sorbi, S. S. Gončarov, A. Sorbi, S. S. Gončarov, A. Sorbi (1997)
Algebra i Logika
Similarity:
Алгебра Линденбаума-Тарского булевых алгебр с выделенным идеаломи
Д.Е. Пальчунов, D. E. Pal'čunov, D. E. Pal'čunov, D. E. Pal'čunov (1995)
Algebra i Logika
Similarity:
О рекурсивных автоморфизмах атомных булевых алгебр
А.С. Морозов (1990)
Algebra i Logika
Similarity:
Некоторые свойства конструктивизации булевых алгебр
С.С. Гончаров (1975)
Sibirskij matematiceskij zurnal
Similarity:
Безатомные идеалы конструктивных булевых алгебр.
С.П. Одинцов (1984)
Algebra i Logika
Similarity:
К вопросу о нормируемости булевых алгебр с непрерывной внешней мерой
А.Г. Порошкин (1980)
Sibirskij matematiceskij zurnal
Similarity:
Сложность булевых алгебр и их ранг Скотта.
П.Е. Алаев (1999)
Algebra i Logika
Similarity:
Универсальные рекурсивно перечислимые булевы алгебры
С.С. Гончаров (1983)
Sibirskij matematiceskij zurnal
Similarity:
Подалгебры невырожденных коммутативных KM-алгебр
А.Т. Гайнов (1976)
Algebra i Logika
Similarity: