Showing math.LOShow all
2 papers · 1 filter
math.LO2026
From Regional Topology to Point-Class Topology in Tarski's Geometry of Solids
Patrick Barlatier, Richard Dapoigny
Tarski's geometry of solids reconstructs point-like entities from concentric families of spherical regions rather than taking points as primitive. We formalize this reconstruction…
math.LO2025
A Topological Rewriting of Tarski's Mereogeometry
Patrick Barlatier, Richard Dapoigny
Qualitative spatial models based on Goodman-style mereology and pseudo-topology often pose problems for advanced geometric reasoning, as they lack true Euclidean geometry and fully…