О внутренней перечислимости линейных порядков
А.Н. Хисамиев (2000)
Algebra i Logika
Similarity:
Displaying similar documents to “Определение арифметических операций в модели Аккермана”
О внутренней перечислимости линейных порядков
О теориях с двухкардинальной формулой
Т.Г. Мустафин (1980)
Algebra i Logika
Similarity:
Счетные модели суперстабильных теорий
Е.П. Байсалов (1990)
Algebra i Logika
Similarity:
Эффективные операции выбора на конструктивных и позитивных моделях
Ю.Г. Венцов (1993)
Algebra i Logika
Similarity:
Автоустойчивость гиперарифметических моделей
А.В. Ромина (2000)
Algebra i Logika
Similarity:
Модели суперстабильных хорновых теорий
Ю. Заффе, Е.А. Палютин, С.С. Старченко (1985)
Algebra i Logika
Similarity:
Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей
Ю.Г. Венцов (1992)
Algebra i Logika
Similarity:
О счетной категоричности
К.Ж. Кудайбергенов (1988)
Algebra i Logika
Similarity:
Элементарные расширения, опускание типов и однородные модели
К.Ж. Кудайбергенов (1988)
Algebra i Logika
Similarity:
О генетических моделях.
С.А. Чихачев (1975)
Algebra i Logika
Similarity:
О главных нумерациях функционалов над допустимыми множествами
Р.Ю. Вайценавичюс (1990)
Algebra i Logika
Similarity:
Ещё раз о счетно-категоричных предложениях.
А.С. Морозов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Критерий конструктивизируемости абелевой группы.
Н.Г. Хисамиев (1999)
Algebra i Logika
Similarity:
Содержание томов 21-30
([unknown])
Algebra i Logika
Similarity:
Генерические модели счетных теорий
С.А. Чихачев (1975)
Algebra i Logika
Similarity:
Содержание томов 11-20
([unknown])
Algebra i Logika
Similarity: