Abstract
We show that a standard axiomatization of mereology is equivalent to the condition that a topological space is discrete, and consequently, any model of general extensional mereology is indistinguishable from a model of set theory. We generalize these results to the Cartesian closed category of convergence spaces.
Citation
Daniel R. Patten. "Mereology on Topological and Convergence Spaces." Notre Dame J. Formal Logic 54 (1) 21 - 31, 2013. https://doi.org/10.1215/00294527-1731362
Information