Две теоремы существования для вычислимых нумераций.
А.Б. Хуторецкий (1969)
Algebra i Logika
Similarity:
The search session has expired. Please query the service again.
Displaying similar documents to “Аналогии теоремы Райса для семантических классов предложений.”
Две теоремы существования для вычислимых нумераций.
Дистрибутивные решетки подпространств и проблема равенства для алгебр с одним соотношением
В.Н. Герасимов (1976)
Algebra i Logika
Similarity:
Ограниченный аналог теоремы Райса третьего уровня для семантических классов предложений
С.С. Заурбеков (1993)
Algebra i Logika
Similarity:
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
О списке свойств с условием финитарной реализуемости
С.Ж.. Каратабанова (1992)
Algebra i Logika
Similarity:
О g-бипримитивно конечных группах с условивием минимальности для g-подгрупп.
А.Н. Остыловский, В.П. Шунков (1975)
Algebra i Logika
Similarity:
Две теоремы о рекурсивно перечислимых множествах.
М.М. Арсланов (1968)
Algebra i Logika
Similarity:
Соотношения между степенями табличного типа
А.Н. Дёгтев (1983)
Algebra i Logika
Similarity:
Универсальные хорновы классы и антимногообразия алгебраических систем
В.А. Горбунов, A.B. Кравченко (2000)
Algebra i Logika
Similarity:
О полных теориях с конечным числом счетных моделей.
М.Г. Перетятькин (1973)
Algebra i Logika
Similarity:
О некоторых примерах верхних полурешеток вычислимых нумераций.
В.В. Вьюгин (1973)
Algebra i Logika
Similarity: