info:eu-repo/semantics/article
Quantifier elimination for elementary geometry and elementary affine geometry
Fecha
2012-11Registro en:
Grimson, Rafael; Kuijpers, Bart; Othman, Walied; Quantifier elimination for elementary geometry and elementary affine geometry; Wiley VCH Verlag; Mathematical Logic Quarterly; 58; 6; 11-2012; 399-416
0942-5616
CONICET Digital
CONICET
Autor
Grimson, Rafael
Kuijpers, Bart
Othman, Walied
Resumen
We introduce new first-order languages for the elementary n-dimensional geometry and elementary n-dimensional affine geometry (n ≥ 2), based on extending FO(β≡) and FO(β), respectively, with new function symbols. Here, β stands for the betweenness relation and ≡ for the congruence relation. We show that the associated theories admit effective quantifier elimination.
Ítems relacionados
Mostrando ítems relacionados por Título, autor o materia.
-
Husserl on Geometry and Spatial Representation
da Silva, Jairo Jose -
Husserl on Geometry and Spatial Representation
Universidade Estadual Paulista (Unesp) (Springer, 2012-03-01)Husserl left many unpublished drafts explaining (or trying to) his views on spatial representation and geometry, such as, particularly, those collected in the second part of Studien zur Arithmetik und Geometrie (Hua XXI), ... -
Husserl on Geometry and Spatial Representation
Universidade Estadual Paulista (Unesp) (Springer, 2012-03-01)Husserl left many unpublished drafts explaining (or trying to) his views on spatial representation and geometry, such as, particularly, those collected in the second part of Studien zur Arithmetik und Geometrie (Hua XXI), ...