О внутренней перечислимости линейных порядков
А.Н. Хисамиев (2000)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: