scientific article; zbMATH DE number 6007782
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Models of other mathematical theories (03C65) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01) Research exposition (monographs, survey articles) pertaining to geometry (51-02) Algebraization in linear incidence geometry (51A25) Ordered geometries (ordered incidence structures, etc.) (51G05) Euclidean geometries (general) and generalizations (51M05) Hyperbolic and elliptic geometries (general) and generalizations (51M10)
- scientific article; zbMATH DE number 3899653
- scientific article; zbMATH DE number 3316892
- Metric Geometries in an Axiomatic Perspective
- An axiomatic approach to geometry. Geometric trilogy I
- Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
- Geometry and the axiomatic method
- scientific article; zbMATH DE number 68149
- scientific article; zbMATH DE number 762610
- The axioms of constructive geometry
- Axiomatizing geometric constructions
- Formalization of the arithmetization of Euclidean plane geometry and applications
- Tarski geometry axioms. III
- Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom
- Tarski geometry axioms. IV: Right angle
- Tarski geometry axioms. II
- Tarski geometry axioms
- Tarski geometry axioms. V: Half-planes and planes
- An essay in honor of Adolf Grünbaum's ninetieth birthday: a reexamination of Zeno's paradox of extension
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 Q3115114)
