scientific article; zbMATH DE number 3291816

MaRDI QIDQ5574604zbMATH OpenFDO

Authors N. Moler, P. Suppes

Publication date 1968

Full work available at URL http://www.numdam.org/item?id=CM_1968__20__143_0, https://eudml.org/doc/88974

zbMATH Keywords

foundations of geometry

Cited in

(10)

• A common axiom set for classical and intuitionistic plane geometry
• On the constructive geometry of Euclidean planes
• Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI
• Axiomatizing geometric constructions
• Quantifier elimination for elementary geometry and elementary affine geometry
• Constructive geometrical reasoning and diagrams
• Constructibility and Geometry
• Constructive geometry and the parallel postulate
• Herbrand analyses in geometry: a case study
• Some open problems in the philosophy of space and time

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