scientific article; zbMATH DE number 1112294
From MaRDI portal
Publication:4373953
zbMath0884.03004MaRDI QIDQ4373953
Publication date: 17 March 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
axiom systemEhrenfeucht-Fraïssé gamesplane Euclidean geometryquantifier-typeTarski's first-order language of betweenness and congruence
Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05)
Related Items (2)
Ternary Operations as Primitive Notions for Constructive Plane Geometry VI ⋮ On the simplicity of ordered geometry
This page was built for publication:
