Artículo

Quantifier elimination for elementary geometry and elementary affine geometry

Grimson, RafaelIcon ; Kuijpers, Bart; Othman, Walied
Fecha de publicación: 11/2012
Editorial: Wiley VCH Verlag
Revista: Mathematical Logic Quarterly
ISSN: 0942-5616
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

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.
Palabras clave: Affine Geometry , Euclidean Geometry , Geometric Constructions , Quantifier Elimination , Semi-Algebraic Geometry
 
Archivos asociados
Thumbnail
 
Tamaño: 1.080Mb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/68254
DOI: http://dx.doi.org/10.1002/malq.201100095
URL: https://onlinelibrary.wiley.com/doi/abs/10.1002/malq.201100095
Colecciones
Articulos(OCA CIUDAD UNIVERSITARIA)
Articulos de OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA
Citación
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
Compartir
Altmétricas