Lesniewski, Tarski and the geometry of solids

DOI10.2143/LEA.254.0.3289654MaRDI QIDQ5871545zbMATH OpenFDO

Authors Robert Edward Clay

Publication date 20 January 2023

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Euclidean geometries (general) and generalizations (51M05)

Recommendations

• On Tarski's foundations of the geometry of solids
• Full Development of Tarski's Geometry of Solids
• A monadic second-order version of Tarski's geometry of solids
• Space, points and mereology. On foundations of point-free Euclidean geometry
• The notion of the diameter of mereological ball in Tarski's geometry of solids

Cited in

(2)

• A monadic second-order version of Tarski's geometry of solids
• Full Development of Tarski's Geometry of Solids

This page was built for publication: Lesniewski, Tarski and the geometry of solids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5871545)