Mohr-Mascheroni as an axiomatizability statement

• Autorzy: Pambuccian V.
• Języki publikacji: EN

Abstrakty

EN

We show that plane Euclidean geometry over Archimedean ordered Euclidean fields can be axiomatized by quantifier-free axioms within algorithmic logic in a language with points as individual variables and a quaternary operation symbol kappa, with kappa(a, b, c, d) and kappa(c, d, a, b) denoting - in arbitrary order - the intersection points of the circles with centres a and c and radii ab and cd, provided that they exist, and arbitrary points otherwise.

Słowa kluczowe

EN

algorithmic logic; quantifier-free axiomatization; Mohr-Mascheroni theorem

PL

algorytm logiczny

• Wydawca: Instytut Matematyczny PAN
• Czasopismo: Bulletin of the Polish Academy of Sciences. Mathematics
• Rocznik: 2001
• Tom: Vol. 49, no 3
• Strony: 319--326
• Opis fizyczny: Bibliogr. 11 poz.,

Twórcy

autor

Pambuccian V.