О расширениях однородных моделей
К.Ж. Кудайбергенов (1989)
Algebra i Logika
Similarity:
Displaying similar documents to “Критерий сильной конструктивизируемости однородной модели.”
О расширениях однородных моделей
Об однородных моделях одноразномерностных теорий
К.Ж. Кудайбергенов, K. Ž. Kudajbergenov, K. Ž. Kudajbergenov, K. Ž. Kudajbergenov (1995)
Algebra i Logika
Similarity:
Теории с тремя счетными моделями
М.Г. Перетятькин (1980)
Algebra i Logika
Similarity:
Об однородных моделях тотально трансцендентных немультиразмерностных теорий.
К.Ж. Кудайбергенов (1991)
Algebra i Logika
Similarity:
Несущественные расширения полных теорий
Б. Омаров (1983)
Algebra i Logika
Similarity:
Элементарные расширения, опускание типов и однородные модели
К.Ж. Кудайбергенов (1988)
Algebra i Logika
Similarity:
О полных теориях с конечным числом счетных моделей.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
Критерий автоустойчивости 1-разрешимых моделей
О.В. Кудинов (1992)
Algebra i Logika
Similarity:
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
Счётные модели малых стабильных теорий.
Е.Р. Байсалов (1990)
Sibirskij matematiceskij zurnal
Similarity:
Счетные модели суперстабильных теорий
Е.П. Байсалов (1990)
Algebra i Logika
Similarity:
Модели суперстабильных хорновых теорий
Ю. Заффе, Е.А. Палютин, С.С. Старченко (1985)
Algebra i Logika
Similarity:
Сильная конструктивизируемость однородных моделей.
С.С. Гончаров (1978)
Algebra i Logika
Similarity:
Проблема описания автоустойчивых моделей
О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1997)
Algebra i Logika
Similarity:
Несчетно категоричное квазиследование ранга Морли.
М.Г. Перетятькин (1991)
Algebra i Logika
Similarity:
О генетических моделях.
С.А. Чихачев (1975)
Algebra i Logika
Similarity:
Об эффективно однородных моделях
К.Ж. Кудайбергенов (1986)
Sibirskij matematiceskij zurnal
Similarity:
Сильно конструктивная модель без элементарных подмоделей и расширений.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity: