Full Development of Tarski's Geometry of Solids

DOI10.2178/bsl/1231081462zbMath1156.03011OpenAlexW2101256571MaRDI QIDQ5504173

Rafał Gruszczyński, Andrzej Pietruszczak

Publication date: 21 January 2009

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/bsl/1231081462

zbMATH Keywords

mereologyfoundations of geometrypointless geometryTarski's geometry of solids

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03) Euclidean geometries (general) and generalizations (51M05) History of geometry (51-03)

Related Items (10)

On Tarski's Foundations of the Geometry of Solids ⋮ The Notion of the Diameter of Mereological Ball in Tarski's Geometry of Solids ⋮ Boolean mereology ⋮ Point-free foundation of geometry looking at laboratory activities ⋮ Mereology then and now ⋮ Regions-based two dimensional continua: The Euclidean case ⋮ Mereological foundations of point-free geometry via multi-valued logic ⋮ The Relations of Supremum and Mereological Sum in Partially Ordered Sets ⋮ Contact join-semilattices ⋮ POINT-FREE GEOMETRY, OVALS, AND HALF-PLANES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• Region-based topology
• Axiomatizability of geometry without points

This page was built for publication: Full Development of Tarski's Geometry of Solids