ω-Trees in stationary logic
Displaying 981 – 1000 of 1342
Автоморфизмы алгебры с одной монарной операцией в сигнатуре
А.Д. Тайманов (1967)
Algebra i Logika
Автоморфизмы булевых алгебр, рeкурсивных на атомах.
Б. Касымканулы (1999)
Sibirskij matematiceskij zurnal
Автоморфизмы конструктивизаций булевых алгебр.
А.С. Морозов (1986)
Sibirskij matematiceskij zurnal
Автоустойчивая 1-разрешимая модель без вычислимого семейства Скотта -формул
О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1996)
Algebra i Logika
Автоустойчивость булевых алгебр с выделенным идеалом.
Н.Т. Когабаев (1998)
Sibirskij matematiceskij zurnal
Автоустойчивость гиперарифметических моделей
А.В. Ромина (2000)
Algebra i Logika
Автоустойчивость и вычислимые семейства конструктивизаций.
С.С. Гончаров (1975)
Algebra i Logika
Автоустойчивость и продолжение конструктивизаций.
К.Ж. Кудайбергенов (1984)
Sibirskij matematiceskij zurnal
Автоустойчивость моделей
С.С. Гончаров, В.Д. Дзгоев (1980)
Algebra i Logika
Автоустойчивость моделей и абелевых групп
С,С. Гончаров (1980)
Algebra i Logika
Аксиоматизируемость и модельная полнота класса регулярных полигонов.
А.А. Степанова (1994)
Sibirskij matematiceskij zurnal
Аксиоматизируемость и полнота некоторых классов -полигонов.
А.А. Степанова (1991)
Algebra i Logika
Алгебра Линденбаума-Тарского булевых алгебр с выделенным идеаломи
Д.Е. Пальчунов, D. E. Pal'čunov, D. E. Pal'čunov, D. E. Pal'čunov (1995)
Algebra i Logika
Алгебра Линденбаума-Тарского класса булевых алгебр с одним выделенным идеалом
Д.Е. Пальчунов, D. E. Pal'čunov, D. E. Pal'čunov, D. E. Pal'čunov (1994)
Algebra i Logika
Алгебраически неэквивалентные конструктивизации бесконечномерного векторного пространства
Д.В. Лыткина (1990)
Algebra i Logika
Алгебраические системы 2-й ступени
Ю.М. Мовсисян (1975)
Matematiceskie issledovanija
Алгоритмическая размерность решеток.
В.Д. Дзгоев (1991)
Sibirskij matematiceskij zurnal
Алгоритмические размерности гомоморфных образов моделей
Б.М. Хусаинов (1992)
Algebra i Logika
Алгоритмические свойства ветвящихся моделей.
Ю.Г. Венцов (1986)
Algebra i Logika