Доказательство леммы о модельной полноте.
Г.Т. Козлов, G.T. Kozlov (1975)
Algebra i Logika
Similarity:
Displaying similar documents to “Расширенные элементарная и универсальная теории решеточно упорядоченных абелевых групп с конечным числом нитей.”
Доказательство леммы о модельной полноте.
Элементарная теория абелевых групп без кручения с предикатами, выделяющими подгруппу.
Г.Т. Козлов, G.T. Kozlov (1969)
Algebra i Logika
Similarity:
К теории многообразий решеточно упорядоченных групп
С.В. Молочко, С.В. Морозова (1997)
Sibirskij matematiceskij zurnal
Similarity:
К теории доупорядочиваемых групп
А.И. Кокорин, A.I. Kokorin, A.I. Kokorin, A.I. Kokorin (1963)
Algebra i Logika
Similarity:
О теории абелевых групп с предикатами, выделяющими подгруппы, и операциями эндоморфизмов.
В.И. Мартьянов, V.I. Mart'janov, V.I. Mart'ǎnov, V.I. Mart'yanov (1975)
Algebra i Logika
Similarity:
О теориях абелевых групп с предикатами, выделяющими подгруппы.
А.М. Слободской, Е.И. Фридман, A.M. Slobodskoj, E.I. Fridman, A.M. Slobodskoj, E.I. Fridman, A.M. Slobodskij, E.I. Friedman (1975)
Algebra i Logika
Similarity:
Универсальная эквивалентность абелевых групп
Ю.Ш. Гуревич, А.И. Кокорин, Ju.Š. Gurevič, A.I. Kokorin, Ǔ. Š. Gurevič, A.I. Kokorin, Ju.S. Gurevic (1963)
Algebra i Logika
Similarity:
Связь между конструктивизируемостью и сильной конструктивизируемостью для различных классов абелевых групп.
Н.Г. Хисамиев (1984)
Algebra i Logika
Similarity:
Абелевы группы, обладающие неприводимыми системами образующих
А.Ю. Сойфер (1971)
Sibirskij matematiceskij zurnal
Similarity:
Пересечение и объединение относительно выпуклых подгрупп упорядочиваемых групп.
А.И. Кокорин (1968)
Algebra i Logika
Similarity: