TY - JOUR
T1 - Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence
AU - Pambuccian, Victor
PY - 2004/9/27
Y1 - 2004/9/27
N2 - Dimension-free Euclidean geometry over Euclidean ordered fields can be axiomatized in a two-sorted first-order language, with points and regular n-gons (with n = 3 or 4) as variables, and with a binary predicate standing for the incidence of a point and a regular n-gon as the only primitive notions.
AB - Dimension-free Euclidean geometry over Euclidean ordered fields can be axiomatized in a two-sorted first-order language, with points and regular n-gons (with n = 3 or 4) as variables, and with a binary predicate standing for the incidence of a point and a regular n-gon as the only primitive notions.
UR - http://www.scopus.com/inward/record.url?scp=10644223338&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=10644223338&partnerID=8YFLogxK
U2 - 10.1016/S0019-3577(04)80008-9
DO - 10.1016/S0019-3577(04)80008-9
M3 - Article
AN - SCOPUS:10644223338
SN - 0019-3577
VL - 15
SP - 413
EP - 417
JO - Indagationes Mathematicae
JF - Indagationes Mathematicae
IS - 3
ER -