Проблема конечной аксиоматизируемости для сильно минимальных теорий графов
А.А. Иванов (1989)
Algebra i Logika
Similarity:
Displaying similar documents to “Проблема конечной аксиоматизируемости для сильно минимальных теорий графов и группы с неединичным числом концов”
Проблема конечной аксиоматизируемости для сильно минимальных теорий графов
Конечные простые группы без элементов порядка 6 и 10.
Н.Д. Подуфалов (1975)
Algebra i Logika
Similarity:
Непериодические группы с некоторыми системами инвариантных подгрупп.
Ф.Н. Лиман (1968)
Algebra i Logika
Similarity:
Две теоремы существования для вычислимых нумераций.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
О g-бипримитивно конечных группах с условивием минимальности для g-подгрупп.
А.Н. Остыловский, В.П. Шунков (1975)
Algebra i Logika
Similarity:
Стандартные и дуально стандартные элементы решетки подгрупп группы.
С.Г. Иванов (1969)
Algebra i Logika
Similarity:
3-локальная характеризация группы Хельда
А.В. Боровик (1980)
Algebra i Logika
Similarity:
Дистрибутивные решетки подпространств и проблема равенства для алгебр с одним соотношением
В.Н. Герасимов (1976)
Algebra i Logika
Similarity:
Нерегулярное исчисление предикатов первого порядка.
А. Таутс (1969)
Algebra i Logika
Similarity:
О конечной базируемости тождеств матричной алгебры второго порядка над полем характеристики нуль.
Ю.П. Размыслов (1973)
Algebra i Logika
Similarity: