Geodesic
Decidability of the restricted theories of a class of~partial orders
Prikladnaâ diskretnaâ matematika, no. 3 (2019), pp. 6-12

Voir la notice de l'article provenant de la source Math-Net.Ru

Classical algebraic geometry studies the solution sets of algebraic equations over the fields of real and complex numbers. In the past 20 years, the so-called universal algebraic geometry, which studies systems of equations over arbitrary algebraic structures, has been actively developed. In this frameworks, universal and existential theories are very important, the prospect for constructing good algebraic geometry over algebraic systems depends on their complexity. In this paper, we prove that the existential and universal theories of the class of all finite orders are decidable.
Keywords: partially ordered set, poset, decidability of univarsal theory, decidability of existential theory
Mots-clés : classes. 
@article{PDM_2019_3_a1,
     author = {A. Yu. Nikitin},
     title = {Decidability of the restricted theories of a class of~partial orders},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {6--12},
     publisher = {mathdoc},
     number = {3},
     year = {2019},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2019_3_a1/}
}
TY  - JOUR
AU  - A. Yu. Nikitin
TI  - Decidability of the restricted theories of a class of~partial orders
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2019
SP  - 6
EP  - 12
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2019_3_a1/
LA  - ru
ID  - PDM_2019_3_a1
ER  - 
%0 Journal Article
%A A. Yu. Nikitin
%T Decidability of the restricted theories of a class of~partial orders
%J Prikladnaâ diskretnaâ matematika
%D 2019
%P 6-12
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2019_3_a1/
%G ru
%F PDM_2019_3_a1
A. Yu. Nikitin. Decidability of the restricted theories of a class of~partial orders. Prikladnaâ diskretnaâ matematika, no. 3 (2019), pp. 6-12. http://geodesic.mathdoc.fr/item/PDM_2019_3_a1/