Пример $omega_1$-категоричной полной конечно-аксиоматизируемой теории

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

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

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

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

Algebra i Logika

Similarity:

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

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

Algebra i Logika

Similarity:

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

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

Algebra i Logika

Similarity:

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

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

Algebra i Logika

Similarity:

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

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

Algebra i Logika

Similarity:

$Σ$ -предикаты конечных типов над допустимым множеством

Ю.Л. Ершов (1985)

Algebra i Logika

Similarity:

О группах, почти аппроксимируемых конечными $p$ -группами.

Ю.И. Мерзляков (1968)

Algebra i Logika

Similarity:

О конечных группах с инволюцией, централизатор которой имеет фактор-группу, изоморфную $ℒ_{2} (2^{n})$ .

Б.М. Веретенников (1983)

Algebra i Logika

Similarity:

Вычислимые классы конструктивизаций $2$ -конструктивизируемых моделей.

С.Ю. Подзоров (1999)

Algebra i Logika

Similarity:

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

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

Algebra i Logika

Similarity:

О действии группы $L_{2} (q)$ на 2-группе.

С.А. Сыскин (1979)

Algebra i Logika

Similarity:

Пример теории без слабо ( $Σ$ , $Σ$ )-атомных моделей.

С.А. Чихачёв (1984)

Algebra i Logika

Similarity:

Группа автотопизмов полуполевой $p$ -примитивной плоскости порядка $p^{4}$ .

Н.Д. Подуфалов, И.В. Бусаркина, N. D. Podufalov, I. V.. Busarkina, N. D. Podufalov, I. V.. Busarkina, N. D. Podufalov, I. V.. Busarkina (1996)

Algebra i Logika

Similarity:

Displaying similar documents to “Пример o m e g a 1 -категоричной полной конечно-аксиоматизируемой теории”

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