scientific article; zbMATH DE number 1112294

MaRDI QIDQ4373953zbMATH OpenFDO

Authors Victor V. Pambuccian

Publication date 17 March 1998

zbMATH Keywords

axiom systemEhrenfeucht-Fraïssé gamesplane Euclidean geometryquantifier-typeTarski's first-order language of betweenness and congruence

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05)

Recommendations

• Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
• scientific article; zbMATH DE number 4146970
• scientific article; zbMATH DE number 885314
• The simplest axiom system for plane hyperbolic geometry revisited

Cited in

(10)

• On the simplicity of ordered geometry
• Interpretations of Euclidean Geometry
• scientific article; zbMATH DE number 4213959 (Why is no real title available?)
• scientific article; zbMATH DE number 4146970 (Why is no real title available?)
• scientific article; zbMATH DE number 59761 (Why is no real title available?)
• scientific article; zbMATH DE number 720249 (Why is no real title available?)
• scientific article; zbMATH DE number 1163359 (Why is no real title available?)
• Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
• scientific article; zbMATH DE number 885314 (Why is no real title available?)
• The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4373953)