Сильная конструктивизируемость однородных моделей.
С.С. Гончаров (1978)
Algebra i Logika
Similarity:
Displaying similar documents to “Об однородных моделях одноразномерностных теорий”
Сильная конструктивизируемость однородных моделей.
Об эффективно гиперпростых множествах.
М.М. Арсланов (1969)
Algebra i Logika
Similarity:
Об определимости в алгебраически замкнутых системах.
М.Ю. Трофимов (1975)
Algebra i Logika
Similarity:
Об элементарных теориях решеток идеалов в кольцах многочленов.
М.А. Тайцлин (1968)
Algebra i Logika
Similarity:
Об одном свойстве креативных множеств
И.А. Лавров, I. A. Lavrov, I. A. Lavrov, I. A. Lavrov (1996)
Algebra i Logika
Similarity:
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
С.С. Гончаров (1980)
Algebra i Logika
Similarity:
Об одном способе моделирования классической арифметики второй ступени
Н.В. Белякин (1983)
Algebra i Logika
Similarity:
О теориях с двухкардинальной формулой
Т.Г. Мустафин (1980)
Algebra i Logika
Similarity:
Об одном классе рекурсивных иерархий.
Н.В. Белякин (1973)
Algebra i Logika
Similarity:
Об алгебрах над негативными эквивалентностями
Н.Х. Касымов, N. Ch. Kasymov, N. H. Kasymov, N. Ch. Kasymov (1994)
Algebra i Logika
Similarity:
Минимизация одной функции сложности в классе МП-автоматов и категориальные грамматики сложности три.
А.Я. Диковский, Л.С. Модина (1968)
Algebra i Logika
Similarity: