Region-based topology
This is a very original investigation in the philosophy of topology. Its basic ideas are not totally unheard of; the author cites anticipations by K. Menger and A. Tarski, and a topologist notes more technical bases in \textit{M. H. Stone's} apparatus of Boolean maps [Trans. Am. Math. Soc. 41, 375-481 (1937; Zbl 0017.13502)]\ and in \textit{A. M. Gleason's} projective covers of locally compact Hausdorff spaces [Ill. J. Math. 2, 482-489 (1958; Zbl 0083.17401)]. The author must first introduce the primitive terms for his region-based topology, with intuitive explanations and also, of course, precise axioms. The regions which underlie everything are members of some Boolean algebra. Almost exactly in the middle of the paper (p. 279) the author says ` ` In the light of' ' \ the Main Theorem ` ` it seems appropriate to ignore from now on region-based topologies that are based on incomplete Boolean algebras' ' . The Main Theorem says that complete region-based topologies correspond reversibly (up to isomorphism/homeomorphism) with locally compact Hausdorff spaces. So the point of the first half of the paper is to describe those spaces in the ` ` regional' ' \ language. There is no hope of presenting that language in this review. The first three predicates for regions are binary \textit{connection}, which is like proximity, and unary \textit{coherence}, which is exactly (in the complete case, at least) connectedness, and \textit{convexity}, which is a way of having a nice boundary. The second half of the paper consists of some 16 pages on familiar properties such as local connectedness and the Lindelöf property, in regional language, and on something far more novel and tentative which I shall return to, and also 11 pages on \textit{functions} (to a topologist, morphisms). The author' s category is not the category of locally compact Hausdorff spaces and continuous mappings. The results do not seem conclusive, but the reviewer suspects that the author' s intuition has misled him here; the morphisms (\textit{mereological mappings}) certainly need to prove themselves. The results given on their properties are substantial. The tentative development mentioned above results from omitting the last of the ten axioms needed for the main theorem, which ` ` postulates a certain kind of divisibility of the space' ' . It appears to be like the Russell-Whitehead Axiom of Reducibility at least in being very much wanted for technical reasons, the reasons here turning on the management of ultrafilters: getting points from regions. Examples illustrate the difficulties that its absence causes, and a one-page appendix introduces further apparatus which may lead to overcoming them.
- Generalisation of first-order logic to nonatomic domains
- scientific article; zbMATH DE number 3648675 (Why is no real title available?)
- scientific article; zbMATH DE number 3476270 (Why is no real title available?)
- scientific article; zbMATH DE number 3304085 (Why is no real title available?)
- scientific article; zbMATH DE number 3185026 (Why is no real title available?)
- TOPOLOGY WITHOUT POINTS
- Some generalizations of Fedorchuk duality theorem-I
- New work for Carnap's quasi-analysis
- A generalization of de Vries duality theorem
- Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\)
- Ontologies for plane, polygonal mereotopology
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- Topology and measure in logics for region-based theories of space
- A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures
- Complementation in representable theories of region-based space
- A calculus of regions respecting both measure and topology
- A study in Grzegorczyk point-free topology. II: Spaces of points
- Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
- A representation theorem for Boolean contact algebras
- Valueless measures on pointless spaces
- Do simple infinitesimal parts solve Zeno's paradox of measure?
- Continuous lattices and Whiteheadian theory of space
- Gunk, topology and measure
- Topology without the union axiom (revisited)
- Mereology then and now
- FULL MEREOGEOMETRIES
- Dynamic logics of the region-based theory of discrete spaces
- A proximity approach to some region-based theories of space
- scientific article; zbMATH DE number 1302048 (Why is no real title available?)
- Expressivity in polygonal, plane mereotopology
- Defining Measures in a Mereological Space (an exploratory paper)
- On dimension andweight of a local contact algebra
- Inconsistent boundaries
- The classical continuum without points
- Full Development of Tarski's Geometry of Solids
- From contact relations to modal operators, and back
- Is weak supplementation analytic?
- Categorical extension of dualities: from Stone to de Vries and beyond. II
- A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
- The introduction of topology into analytic philosophy: two movements and a coda
- A framework for location
- Infinitesimal gunk
- Region merging with topological control
- Mereotopology without mereology
- Open and other kinds of map extensions over zero-dimensional local compactifications
This page was built for publication: Region-based topology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1362588)
