Разрешимость $\forall \exists $ теории некоторой фактор-решетки рекурсивно-перечислимых множеств.

А.Н. Дегтев

Displaying similar documents to “Разрешимость $\forall \exists$ теории некоторой фактор-решетки рекурсивно-перечислимых множеств.”

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

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

Algebra i Logika

Similarity:

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

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

Algebra i Logika

Similarity:

Фридбергеровские нумерации семейств $n$ -вычислимо перечислимых множеств.

С.С. Гончаров, С. Лемпп, Д Р. Соломов (2002)

Algebra i Logika

Similarity:

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

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

Algebra i Logika

Similarity:

$Σ$ -допустимые семейства над линейными порядками.

А.И. Стукачев (2002)

Algebra i Logika

Similarity:

Верхняя полурешётка $L (γ)$ .

Ю.Л. Ершов, И.А. Лавров (1973)

Algebra i Logika

Similarity:

Свойство t-ретрассируемости и автоморфизмы решетки рекурсивно-перечислимых множеств

Ю.Д. Шмидт (1989)

Algebra i Logika

Similarity:

Двухэлементное отделимое нумерованное множество $γ$ с неразрешимой проблемой $P (γ, γ)$ .

С.Д. Денисов (1975)

Algebra i Logika

Similarity:

Об одном усилении $Q$ -сводимости

Р.Ш. Оманадзе, R. Š. Omanadze, R. Š. Omanadze, R. Š. Omanadze (1995)

Algebra i Logika

Similarity:

О некоторых решеточно-инвариантных свойствах семейств рекурсивно-перечислимых множеств

А.Н. Дёгтев (1988)

Algebra i Logika

Similarity:

О $* s$ -операциях, сохраняющих измеримость и свойство Бэра

А.А. Ляпунов (1949)

Matematiceskij sbornik

Similarity:

Неразрешимость позитивной $\forall \exists$ -теории свободной полугруппы

С.С. Марченков (1982)

Sibirskij matematiceskij zurnal

Similarity:

О слабых $^{*}$ производных трансфинитного порядка множеств линейных функционалов

Б.В. Гoдун (1977)

Sibirskij matematiceskij zurnal

Similarity:

О сложности реализации некоторых симметрических функций формулами глубины 3 в базисе ${$ &, $\lor,^{-}}$

С.Е. Кузнецов, Н.Р. Нигматуллин (1985)

Verojatnostnye metody i kibernetika

Similarity:

Накрытия в решетке квазимногообразий $ℓ$ -групп.

Н.В. Баянова, N. V. Bajanova, N. V. Baǎnova, N. V. Bajanova (1996)

Algebra i Logika

Similarity:

Некоторые геометрические аспекты нелинейной $O (3)$ сигма-модели в размерности $(2 + O)$

Е.Ш. Гутшабаш (1994)

Zapiski naucnych seminarov POMI

Similarity:

Коллинеации в алгебраических $(k, n)$ -сетях и автострофии ортогональных систем $n$ -квазигрупп

А.С. Бектенов (1975)

Matematiceskie issledovanija

Similarity:

Displaying similar documents to “Разрешимость ∀ ∃ теории некоторой фактор-решетки рекурсивно-перечислимых множеств.”

Displaying similar documents to “Разрешимость $\forall \exists$ теории некоторой фактор-решетки рекурсивно-перечислимых множеств.”