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