Разделимые типы и ранговые функции в стабильных теориях.
Т.Г. Мустафин, Т.А. Нурмагамбетов (1983)
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:
О теориях с двухкардинальной формулой
Т.Г. Мустафин (1980)
Algebra i Logika
Similarity:
О неглавных нумерациях.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
О противоречивости метатеории Нудельмана
В.А. Ганов, V. A. Ganov, V. A. Ganov, V. A. Ganov (1995)
Algebra i Logika
Similarity:
О существовании рекурсивно-перечислимых минимальных табличных степеней.
С.С. Марченков (1975)
Algebra i Logika
Similarity:
О btt-сводимости II.
Г.Н. Кобзев (1973)
Algebra i Logika
Similarity:
Theory of hyperrings and hyperfields.
Ч.Г. Массурос (1985)
Algebra i Logika
Similarity:
О btt-сводимости.
Г.Н. Кобзев (1973)
Algebra i Logika
Similarity:
О полной btt-степени.
Г.Н. Кобзев (1974)
Algebra i Logika
Similarity:
A remark on a paper of Taimanov
Ахмад Шафаат (1969)
Algebra i Logika
Similarity: