О расширениях конструктивных линейных порядков.
К.Ж. Кудайбергенов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Displaying similar documents to “К проблеме разрешимости для случая Аккермана”
О расширениях конструктивных линейных порядков.
О конструктивизируемости простой модели.
К.Ж. Кудайбергенов (1984)
Sibirskij matematiceskij zurnal
Similarity:
Автоустойчивость гиперарифметических моделей
А.В. Ромина (2000)
Algebra i Logika
Similarity:
Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов.
А.С. Морозов (1989)
Sibirskij matematiceskij zurnal
Similarity:
Критерий конструктивизируемости абелевой группы.
Н.Г. Хисамиев (1999)
Algebra i Logika
Similarity:
О гипероднородных и абсолютно однородных моделях.
К.Ж. Кудайбергенов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
П.Е. Алаев (2003)
Algebra i Logika
Similarity:
Трехкамерная модель улитки внутреннего уха
С.М. Новоселова (1985)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности
Ю.Г. Венцов (1994)
Algebra i Logika
Similarity:
Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей
Ю.Г. Венцов (1992)
Algebra i Logika
Similarity:
Пример атомной не алгебраически простой модели.
С.А. Чихачев (1985)
Sibirskij matematiceskij zurnal
Similarity:
Модель улитки с трансверсально неоднородным сечением
С.М. Новоселова (1989)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Об ошибке в статье И.И. Жегалкина "Проблема разрешимости на конечных классах"
В.Ф. Костырко (1962)
Algebra i Logika
Similarity:
Критерий сильной конструктивизируемости одного класса абелевых p-групп.
К.Т. Абдразаков, Н.Г. Хисамиев (1984)
Sibirskij matematiceskij zurnal
Similarity:
Сильно конструктивная модель без элементарных подмоделей и расширений.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
Статистическая модель электризации высокоомных жидкостей
Г.В. Секриеру, В.П. Коровкин, Ф.М. Сажин ([unknown])
Matematiceskie issledovanija
Similarity:
Стохастическая модель обмена для двухуровневой памяти
К.Е. Юренков (1976)
Verojatnostnye metody i kibernetika
Similarity:
Автоморфизмы булевых алгебр, рeкурсивных на атомах.
Б. Касымканулы (1999)
Sibirskij matematiceskij zurnal
Similarity:
Предел бесконечно сильной связи в квантовой хромодинамике и модель доминантности аномалий кварковых петель (Модель ДАКП)
А.Н. Иванов, Н.И. Троицкая ([unknown])
Zapiski naucnych seminarov Leningradskogo
Similarity:
Волновые операторы для несамосопряженных операторов и функциональная модель
С.Н. Набоко (1977)
Zapiski naucnych seminarov Leningradskogo
Similarity:
Мощность моделей теорий исчисления с квантором Хартига.
А.Г. Пинус (1978)
Sibirskij matematiceskij zurnal
Similarity: