Quantifier elimination for elementary geometry and elementary affine geometry

dc.creatorGrimson, Rafael
dc.creatorKuijpers, Bart
dc.creatorOthman, Walied
dc.date.accessioned2019-01-18T17:51:42Z
dc.date.accessioned2022-10-15T09:10:56Z
dc.date.available2019-01-18T17:51:42Z
dc.date.available2022-10-15T09:10:56Z
dc.date.created2019-01-18T17:51:42Z
dc.date.issued2012-11
dc.identifierGrimson, 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
dc.identifier0942-5616
dc.identifierhttp://hdl.handle.net/11336/68254
dc.identifierCONICET Digital
dc.identifierCONICET
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/4368849
dc.description.abstractWe 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.
dc.languageeng
dc.publisherWiley VCH Verlag
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1002/malq.201100095
dc.relationinfo:eu-repo/semantics/altIdentifier/url/https://onlinelibrary.wiley.com/doi/abs/10.1002/malq.201100095
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.rightsinfo:eu-repo/semantics/restrictedAccess
dc.subjectAFFINE GEOMETRY
dc.subjectEUCLIDEAN GEOMETRY
dc.subjectGEOMETRIC CONSTRUCTIONS
dc.subjectQUANTIFIER ELIMINATION
dc.subjectSEMI-ALGEBRAIC GEOMETRY
dc.titleQuantifier elimination for elementary geometry and elementary affine geometry
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion


Este ítem pertenece a la siguiente institución