Mostrar el registro sencillo del ítem

dc.contributor.author
Grimson, Rafael  
dc.contributor.author
Kuijpers, Bart  
dc.contributor.author
Othman, Walied  
dc.date.available
2019-01-18T17:51:42Z  
dc.date.issued
2012-11  
dc.identifier.citation
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  
dc.identifier.issn
0942-5616  
dc.identifier.uri
http://hdl.handle.net/11336/68254  
dc.description.abstract
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.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Wiley VCH Verlag  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
Affine Geometry  
dc.subject
Euclidean Geometry  
dc.subject
Geometric Constructions  
dc.subject
Quantifier Elimination  
dc.subject
Semi-Algebraic Geometry  
dc.subject.classification
Matemática Pura  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Quantifier elimination for elementary geometry and elementary affine geometry  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2019-01-16T18:27:53Z  
dc.journal.volume
58  
dc.journal.number
6  
dc.journal.pagination
399-416  
dc.journal.pais
Alemania  
dc.journal.ciudad
Weinheim  
dc.description.fil
Fil: Grimson, Rafael. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina  
dc.description.fil
Fil: Kuijpers, Bart. Universiteit Limburg; Bélgica  
dc.description.fil
Fil: Othman, Walied. Universitat Zurich; Suiza  
dc.journal.title
Mathematical Logic Quarterly  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1002/malq.201100095  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://onlinelibrary.wiley.com/doi/abs/10.1002/malq.201100095  

Archivos asociados
Thumbnail
 
Tamaño: 1.080Mb
Formato: PDF
.