{"id":"arxiv/2607.18502","url":"https://arxiv.org/abs/2607.18502","tags":["math.LO","math.AT"],"score":0,"title":"From Regional Topology to Point-Class Topology in Tarski's Geometry of Solids","domain":"math.LO","source":"arxiv","authors":["Patrick Barlatier","Richard Dapoigny"],"reviews":0,"subject":"math.LO","summary":"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 in Coq within a nominal mereological framework inspired by Leśniewski, and study how the regional geometry of solids induces a topology on reconstructed point-classes without adding new point individuals. Three of Tarski's postulates concerning solids and interior points, P2--P4, are derived as theorems. We refine Tarski's interior-point notion and define a regional interior operator satisfying the four Kuratowski…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-20","reactions":{}}