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

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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: