Тотально трансцендентная теория с неконструктивизируемой простой моделью

С.С. Гончаров

The search session has expired. Please query the service again.

Displaying similar documents to “Тотально трансцендентная теория с неконструктивизируемой простой моделью”

О числе неавтоэквивалентных конструктивизаций

С.С. Гончаров (1977)

Algebra i Logika

Similarity:

О позитивных нумерованных моделях.

Б.М. Хусаинов (1991)

Sibirskij matematiceskij zurnal

Similarity:

Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности

Ю.Г. Венцов (1994)

Algebra i Logika

Similarity:

Сильная конструктивизируемость однородных моделей.

С.С. Гончаров (1978)

Algebra i Logika

Similarity:

Об эффективно однородных моделях

К.Ж. Кудайбергенов (1986)

Sibirskij matematiceskij zurnal

Similarity:

Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей

Ю.Г. Венцов (1992)

Algebra i Logika

Similarity:

О конструктивизируемости простой модели.

К.Ж. Кудайбергенов (1984)

Sibirskij matematiceskij zurnal

Similarity:

Счетные модели суперстабильных теорий

Е.П. Байсалов (1990)

Algebra i Logika

Similarity:

Пример атомной не алгебраически простой модели.

С.А. Чихачев (1985)

Sibirskij matematiceskij zurnal

Similarity:

Эффективно бесконечные классы слабых конструктивизаций моделей

С.С. Гончаров (1993)

Algebra i Logika

Similarity:

Автоустойчивость моделей

С.С. Гончаров, В.Д. Дзгоев (1980)

Algebra i Logika

Similarity:

Автоустойчивость гиперарифметических моделей

А.В. Ромина (2000)

Algebra i Logika

Similarity:

О гипероднородных и абсолютно однородных моделях.

К.Ж. Кудайбергенов (1999)

Sibirskij matematiceskij zurnal

Similarity:

Автоустойчивость булевых алгебр с выделенным идеалом.

Н.Т. Когабаев (1998)

Sibirskij matematiceskij zurnal

Similarity:

Конечномерные колебательные модели в общей теории относительности и газовой динамике

О.И. Богоявленский, С.П. Новиков (1979)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Вычислимые структурные и антиструктурные теоремы.

С.С. Гончаров, Дж. Найт (2002)

Algebra i Logika

Similarity:

Число моделей теорий всюду конечно определенных полигонометрий.

С.В. Судоплатов (1999)

Sibirskij matematiceskij zurnal

Similarity:

Модели суперстабильных хорновых теорий

Ю. Заффе, Е.А. Палютин, С.С. Старченко (1985)

Algebra i Logika

Similarity:

Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.

А.С. Морозов (1989)

Sibirskij matematiceskij zurnal

Similarity:

Модельно полные теории ограниченных унаров.

Г.Е. Пунинский (1987)

Sibirskij matematiceskij zurnal

Similarity:

Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей

С.С. Гончаров (1980)

Algebra i Logika

Similarity:

Модельно полные теории деревьев.

Г.Е. Пунинский (1990)

Sibirskij matematiceskij zurnal

Similarity:

О расширениях конструктивных линейных порядков.

К.Ж. Кудайбергенов (1999)

Sibirskij matematiceskij zurnal

Similarity:

Примеры неавтоустойчивых систем.

С.С. Гончаров, А.А. Новиков (1984)

Sibirskij matematiceskij zurnal

Similarity:

О конечно-порожденных моделях

К.Ж. Кудайбергенов (1986)

Sibirskij matematiceskij zurnal

Similarity:

Об однородных моделях некоторых слабо минимальных теорий

К.Ж. Кудайбергенов (1999)

Sibirskij matematiceskij zurnal

Similarity:

Автоустойчивость моделей и абелевых групп

С,С. Гончаров (1980)

Algebra i Logika

Similarity:

Конструктивные модели полных разрешимых теорий.

С.С. Гончаров, А.Т. Нуртазин (1973)

Algebra i Logika

Similarity: