Связь мощностей формульных подмножеств со стабильностью формул
М.М. Еримбетов (1985)
Algebra i Logika
Similarity:
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: