EuDML | Browse

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

Subjects
03-XX Mathematical logic and foundations
03Cxx Model theory
03C10 Quantifier elimination, model completeness and related topics

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 12 of 12

Моноид, над которым класс регулярных полигонов полон, не модельно полон.

Е.В. Овчинникова (1997)

Sibirskij matematiceskij zurnal

Некоторые теории в обобщенных исчислениях

А.А. Иванов (1983)

Sibirskij matematiceskij zurnal

Новая техника для получения диафантовых представлений путем устранения ограниченных кванторов общности

Ю.В. Матиясевич (1995)

Zapiski naucnych seminarov POMI

О покрытии классами перестановочных эквивалентностей

Е.А. Палютин, E. A. Paljutin, E. A. Palǔtin, E. A. Paljutin (1995)

Algebra i Logika

О полных теориях унаров

А.А. Иванов (1986)

Sibirskij matematiceskij zurnal

Полные классы регулярных полигонов над моноидами глубины 2.

Е.В. Овчинникова (2002)

Algebra i Logika

Примитивно связные теории

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

Algebra i Logika

Сложность элиминации кванторов в теории обыкновенных дифференциально замкнутых полей

Д.Ю. Григорьев (1989)

Zapiski naucnych seminarov Leningradskogo

Теория с двумя сильно конструктивизируемыми моделями.

К.Ж. Кудайбергенов (1979)

Algebra i Logika

Хорошие локально-глобальные поля. I.

Ю.Л. Ершов, Ju. L. Eršov, Ǔ. L. Eršov, Ju. L. Eršov (1996)

Algebra i Logika

Хорошие локально-глобальные поля.II

Ю.Л. Ершов, Ju. L. Eršov, Ǔ. L. Eršov, Ju. L. Eršov (1996)

Algebra i Logika

Элиминация кванторов в хорновых теориях с малым числом моделей.

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

Algebra i Logika

Currently displaying 1 – 12 of 12

Page 1