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

С.С. Марченков

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

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

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

Verojatnostnye metody i kibernetika

Similarity:

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

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

Zapiski naucnych seminarov POMI

Similarity:

Некоторые задачи конструктивной теории оптимального управления $^{(1)}$

Р. Габасов (1985)

Banach Center Publications

Similarity:

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

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

Matematiceskie issledovanija

Similarity:

О группах с $$ -базисом, при $ l t; 1 / 4$ , и одним дополнительным условием

В.В. Солдатова (1966)

Sibirskij matematiceskij zurnal

Similarity:

Итepaции фopмулы Pимaнa-Зигeля coxpaняюшиe мнoжecтвo нулeй и кpaтнocтeй нулeй функции $Z (t)$

Ján Mozer (1994)

Mathematica Slovaca

Similarity:

Оценка нормы $| f (B) - f (A) |$ для самосопряженных операторов $A$ и $B$

Ю.Б. Фарфоровская (1976)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Первые интегралы уравнений геодезических $h$ -пространств типа $[51]$ .

З.Х. Закирова ([unknown])

Trudy Geometriceskogo Seminara

Similarity:

Геометрическая теория состояний, граница фон Неймана, двойственность $C^{*}$ -алгерб

А.М. Вершик (1972)

Zapiski naucnych seminarov Leningradskogo

Similarity:

Численные результаты о наилучших равномерных рациональных аппроксимациях функции $| x |$ на отрезке [-1,1]

Р.С. Варга, А. Руттан, А.Дж. Карпентер (1991)

Matematiceskij sbornik

Similarity:

Прямые суммы групп типа $𝒫^{+}$

Ladislav Procházka (1967)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

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

В.Г. Дурнев (1995)

Sibirskij matematiceskij zurnal

Similarity:

Секционные кривизны диагонального семейства $Sp (n + 1)$ -инвариантных метрик на $(4 n + 3)$ -мерных сферах.

Д.Е. Вольпер (1994)

Sibirskij matematiceskij zurnal

Similarity:

Displaying similar documents to “Неразрешимость позитивной ∀ ∃ -теории свободной полугруппы”

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