О мощных типах в малых теориях.
С.В. Судоплатов (1990)
Sibirskij matematiceskij zurnal
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Счётные модели малых стабильных теорий.”
О мощных типах в малых теориях.
Свойства нерасщепимых типов в стабильных теориях.
М.И. Бекенов, Т.Г. Мустафин (1981)
Sibirskij matematiceskij zurnal
Similarity:
Число моделей теорий всюду конечно определенных полигонометрий.
С.В. Судоплатов (1999)
Sibirskij matematiceskij zurnal
Similarity:
Ещё раз о счетно-категоричных предложениях.
А.С. Морозов (1999)
Sibirskij matematiceskij zurnal
Similarity:
О конструктивизируемости простой модели.
К.Ж. Кудайбергенов (1984)
Sibirskij matematiceskij zurnal
Similarity:
Об одном свойстве счетных стабильных теорий.
М.М. Еримбетов (1981)
Sibirskij matematiceskij zurnal
Similarity:
Условно-устойчивые линейные задачи и формула Карлемана.
Л.А. Айзенберг, Н.Н. Тарханов (1990)
Sibirskij matematiceskij zurnal
Similarity:
О проблеме Калмана
Н.Е. Барабанов (1988)
Sibirskij matematiceskij zurnal
Similarity:
Принципы нормализации формул
Т.Г. Мустафин (1981)
Sibirskij matematiceskij zurnal
Similarity:
Устойчивые и условно устойчивые почти-периодические решения V-монотонных систем
В.М. Чересиз (1974)
Sibirskij matematiceskij zurnal
Similarity:
Конструктивные однородные расширения.
А.С. Денисов (1984)
Sibirskij matematiceskij zurnal
Similarity:
On the number of countable models of stable theories
Predrag Tanović (2001)
Fundamenta Mathematicae
Similarity:
We prove: Theorem. If T is a countable, complete, stable, first-order theory having an infinite set of constants with different interpretations, then I(T,ℵ₀) ≥ ℵ₀.