Разрешимость ограниченных теорий класса частичных порядков А. Ю. Никитин
Material type:
ArticleOther title: Decidability of the restricted theories of a class of partial orders [Parallel title]Subject(s): частично упорядоченные множества | частичные порядки | разрешимость универсальной теории | разрешимость экзистенциальной теорииGenre/Form: статьи в журналах Online resources: Click here to access online
In:
Прикладная дискретная математика № 45. С. 6-12Abstract: Классическая алгебраическая геометрия изучает множества решений алгебраических уравнений над полями вещественных и комплексных чисел. В последние 20 лет активно развивается так называемая универсальная алгебраическая геометрия, в которой изучаются системы уравнений над произвольными алгебраическими системами. При этом особое значение имеют универсальные и экзистенциальные теории — от их сложности зависят перспективы построения «хорошей» алгебраической геометрии над той или иной алгебраической системой. В работе доказывается, что экзистенциальная и универсальная теории класса всех частичных порядков являются разрешимыми.
Библиогр.: 12 назв.
Классическая алгебраическая геометрия изучает множества решений алгебраических уравнений над полями вещественных и комплексных чисел. В последние 20 лет активно развивается так называемая универсальная алгебраическая геометрия, в которой изучаются системы уравнений над произвольными алгебраическими системами. При этом особое значение имеют универсальные и экзистенциальные теории — от их сложности зависят перспективы построения «хорошей» алгебраической геометрии над той или иной алгебраической системой. В работе доказывается, что экзистенциальная и универсальная теории класса всех частичных порядков являются разрешимыми.
There are no comments on this title.