jdh.hamkins.org
Set-theoretic mereology: the theory of the subset relation is decidable
In this post I’d like to explain a certain aspect of my on-going project with Makoto Kikuchi on set-theoretic mereology, which is set theory, undertaken in the full set-theoretic universe $V$…