Full Development of Tarski's Geometry of Solids

DOI10.2178/BSL/1231081462MaRDI QIDQ5504173zbMATH OpenOpenAlexWikidataFDO

Authors Rafał Gruszczyński, Andrzej Pietruszczak

Publication date 21 January 2009

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

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

zbMATH Keywords

foundations of geometrymereologypointless geometryTarski's geometry of solids

Mathematics Subject Classification ID

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

Recommendations

• On Tarski's foundations of the geometry of solids
• Lesniewski, Tarski and the geometry of solids
• Tarski's System of Geometry
• Tarski geometry axioms
• Automated development of Tarski's geometry
• A constructive version of Tarski's geometry
• Tarski and geometry
• Solid analytic geometry

Cites work

• Axiomatizability of geometry without points
• Connection structures: Grzegorczyk's and Whitehead's definitions of point
• scientific article; zbMATH DE number 3152667 (Why is no real title available?)
• scientific article; zbMATH DE number 3899653 (Why is no real title available?)
• Region-based topology
• The legacy of Mario Pieri in geometry and arithmetic

Cited in

(15)

• Contact join-semilattices
• Remarks, du côté de chez Tarski, on symmetric ternary relations
• On Tarski's foundations of the geometry of solids
• Mereology then and now
• Regions-based two dimensional continua: the Euclidean case
• Mereological foundations of point-free geometry via multi-valued logic
• FULL MEREOGEOMETRIES
• The relations of supremum and mereological sum in partially ordered sets
• The notion of the diameter of mereological ball in Tarski's geometry of solids
• Spheres, cubes and simplexes in mereogeometry
• Point-free foundation of geometry looking at laboratory activities
• Point-free geometry, ovals, and half-planes
• Lesniewski, Tarski and the geometry of solids
• Boolean mereology
• A monadic second-order version of Tarski's geometry of solids

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

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