О $94_3^0$-категоричности для линейных порядков и булевых алгебр.

Ч.Ф.Д. Мак-Кой

Displaying similar documents to “О $94_{3}^{0}$ -категоричности для линейных порядков и булевых алгебр.”

Определимость булевых алгебр в $ℍ𝔽$ -надстройках

А.В. Ромина (2000)

Algebra i Logika

Similarity:

Конструктивизируемость булевых алгебр элементарной характеристики $ℤ_{2^{m}}$ .

В.Н. Власов, V. N. Vlasov, V. N. Vlasov, V. N. Vlasov (1998)

Algebra i Logika

Similarity:

Универсальная нумерация конструктивных $I$ -алгебр

Н.Т. Когабаев (2001)

Algebra i Logika

Similarity:

Элементарная теория $𝔇$ -степеней.

А.И. Омаров (1984)

Algebra i Logika

Similarity:

Strong $94_{2}^{0}$ categoricity.

С.Дж. Аш, С.С. Гончаров, S.S. Gončarov, S.S. Gončarov (1985)

Algebra i Logika

Similarity:

Последний вопрос о рекурсивно-перечислимых $m$ -степенях

А. Нис, A. Nis, A. Nis, A. Nis (1994)

Algebra i Logika

Similarity:

Сегменты рекурсивно-перечислимых $m$ -степеней.

В.В. Вьюгин (1974)

Algebra i Logika

Similarity:

Автоустойчивая 1-разрешимая модель без вычислимого семейства Скотта $\exists$ -формул

О.В. Кудинов, O. V. Kudinov, O. V. Kudinov, O. V. Kudinov (1996)

Algebra i Logika

Similarity:

Относительные дополнения в $94_{2}^{0}$ -степенях по перечислимости

И.Ш. Калимуллин (2000)

Algebra i Logika

Similarity:

О частично упорядоченных множествах 1-степеней, содержащихся в рекурсивно-перечислимых $m$ -степенях

А.Н. Дегтев (1976)

Algebra i Logika

Similarity:

О числе моделей в $L_{\infty, ω_{1}}$ -теориях

Е.А. Палютин (1977)

Algebra i Logika

Similarity:

Пример $o m e g a_{1}$ -категоричной полной конечно-аксиоматизируемой теории

М.Г. Перетятькин (1980)

Algebra i Logika

Similarity:

Displaying similar documents to “О 94 3 0 -категоричности для линейных порядков и булевых алгебр.”

Displaying similar documents to “О $94_{3}^{0}$ -категоричности для линейных порядков и булевых алгебр.”