О мощных типах в малых теориях.
С.В. Судоплатов (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.
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 “Счётные модели малых стабильных теорий.”
О мощных типах в малых теориях.
Свойства нерасщепимых типов в стабильных теориях.
М.И. Бекенов, Т.Г. Мустафин (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,ℵ₀) ≥ ℵ₀.