scientific article; zbMATH DE number 885314

MaRDI QIDQ4880499zbMATH OpenFDO

Authors Victor V. Pambuccian

Publication date 27 October 1996

zbMATH Keywords

axiomatizationEhrenfeucht-Fraïssé gamessimplicity degreevariants of affine geometry

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Linear incidence geometric structures with parallelism (51A15) Desarguesian and Pappian geometries (51A30)

Recommendations

• On the simplicity of ordered geometry
• Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
• scientific article; zbMATH DE number 4146970
• scientific article; zbMATH DE number 1112294

Cited in

(9)

• On the simplicity of ordered geometry
• scientific article; zbMATH DE number 4146970 (Why is no real title available?)
• scientific article; zbMATH DE number 1112294 (Why is no real title available?)
• Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
• The axiomatic destiny of the theorems of Pappus and Desargues
• The axiomatics of ordered geometry: I. Ordered incidence spaces
• Complete independence of an axiom system for central translations
• Simplifying the axiomatization for ordered affine geometry via a theorem prover
• On simplicity of formulas

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 Q4880499)