Функциональные деревья и автоморфизмы моделей
Displaying 1321 – 1340 of 1342
Характеризация -стабильных теорий ограниченной размерности
Т.А. Нурмагамбетов (1989)
Algebra i Logika
Хорновы классы предикатных систем и многообразия частичных алгебр
В.А. Горбунов, М.С. Шеремет (2000)
Algebra i Logika
Хорошие локально-глобальные поля. I.
Ю.Л. Ершов, Ju. L. Eršov, Ǔ. L. Eršov, Ju. L. Eršov (1996)
Algebra i Logika
Хорошие локально-глобальные поля. III
Ю.Л. Ершов (1997)
Sibirskij matematiceskij zurnal
Хорошие локально-глобальные поля.II
Ю.Л. Ершов, Ju. L. Eršov, Ǔ. L. Eršov, Ju. L. Eršov (1996)
Algebra i Logika
Частичные алгебры, ассоциированные с полигонометриями пар групп.
С.В. Судоплатов, S. V. Sudoplatov, S. V. Sudoplatov, S. V. Sudoplatov (1997)
Algebra i Logika
Число Левенгейма для одного из скелетов многообразий булевых алгебр
Alexander G. Pinus (1992)
Archivum Mathematicum
Vvodyatsya ponyatiya svobodnogo èpiskeleta i chisla Levengeĭma dlya svobodnogo èpiskeleta proizvolp1nogo mnogoobraziya algebr. Dokazyvaetsya, chto chislo Levengeĭma dlya svobodnogo èpiskeleta mnogoobraziya bulevykh algebr sovpadaet s chislom Levengeĭma polnoĭ logiki vtorogo poryadka.
Число моделей полных хорновых теорий конечной глубины.
С.С. Старченко (1986)
Algebra i Logika
Число моделей теорий всюду конечно определенных полигонометрий.
С.В. Судоплатов (1999)
Sibirskij matematiceskij zurnal
Число Ханфа для исчисления с квантором Хартига
А.Г. Пинус (1979)
Sibirskij matematiceskij zurnal
Экзистенциально замкнутые регулярные коммутативные полугруппы.
М.А. Тайцлин, M.A. Tajclin, M.A. Tajclin, M.A. Tajtslin (1973)
Algebra i Logika
Элементарная теория модуля над локальным кольцом.
А.Г. Мясников (1989)
Sibirskij matematiceskij zurnal
Элементарная теория -степеней.
А.И. Омаров (1984)
Algebra i Logika
Элементарная эквивалентность решеток разбиений
А.Г. Пинус (1988)
Sibirskij matematiceskij zurnal
Элементарные расширения, опускание типов и однородные модели
К.Ж. Кудайбергенов (1988)
Algebra i Logika
Элементарные свойства упорядоченных абелевых групп
Ю.Ш. Гуревич, Ju.Š. Gurevič, Ǔ. Š. Gurevič, Ju.S. Gurevitch, Ju.S. Gurevic (1964)
Algebra i Logika
Элиминация кванторов в хорновых теориях с малым числом моделей.
Е.А. Палютин (1991)
Algebra i Logika
Эндоморфизмы группы всех рекурсивных перестановок.
А.С. Морозов, A. S. Morozov, A. S. Morozov, A. S. Morozov (1997)
Algebra i Logika
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий
И.А. Лавров (1963)
Algebra i Logika