Связь мощностей формульных подмножеств со стабильностью формул
М.М. Еримбетов (1985)
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.
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 “Ранг Ласкара и свойство конечного покрытия для полных теорий унаров”
Связь мощностей формульных подмножеств со стабильностью формул
Итерированные обогащения моделей счетных теорий и их приложения.
С.С. Гончаров, М. Пурмахдиан, S. S. Gončarov, M. Purmachdian, S. S. Gončarov, M. Purmahdian, S. S. Gončarov, M. Purmachdian (1995)
Algebra i Logika
Similarity:
О классификации суперстабильных теорий по ранговым функциям
Т.Г. Мустафин (1985)
Algebra i Logika
Similarity:
Разделимые типы и ранговые функции в стабильных теориях.
Т.Г. Мустафин, Т.А. Нурмагамбетов (1983)
Algebra i Logika
Similarity:
Две теоремы существования для вычислимых нумераций.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
Аналогии теоремы Райса для семантических классов предложений.
М.Г. Перетятькин (1991)
Algebra i Logika
Similarity:
Дистрибутивные решетки подпространств и проблема равенства для алгебр с одним соотношением
В.Н. Герасимов (1976)
Algebra i Logika
Similarity:
Ограниченный аналог теоремы Райса третьего уровня для семантических классов предложений
С.С. Заурбеков (1993)
Algebra i Logika
Similarity:
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
О g-бипримитивно конечных группах с условивием минимальности для g-подгрупп.
А.Н. Остыловский, В.П. Шунков (1975)
Algebra i Logika
Similarity:
Группоиды ранга 2, порождающие категоричные Хорновы классы.
А.А. Степанова (1984)
Algebra i Logika
Similarity: