scientific article

zbMath1237.51003MaRDI QIDQ3115114

Wanda Szmielew, Wolfram Schwabhäuser, Alfred Tarski

Publication date: 20 February 2012

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Hyperbolic and elliptic geometries (general) and generalizations (51M10) 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) Ordered geometries (ordered incidence structures, etc.) (51G05) Euclidean geometries (general) and generalizations (51M05) Models of other mathematical theories (03C65) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01) Algebraization in linear incidence geometry (51A25) Research exposition (monographs, survey articles) pertaining to geometry (51-02)

Related Items (6)

Formalization of the arithmetization of Euclidean plane geometry and applications ⋮ Tarski geometry axioms. IV: Right angle ⋮ Tarski geometry axioms. II ⋮ Tarski geometry axioms ⋮ Tarski geometry axioms. III ⋮ Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom

This page was built for publication: