## How big is the universe?

December 27, 2007I’ve been reading some interesting old posts from Kenny Easwaran’s blog (and this one from Brian Weatherson) recently, so I’m going to take a break from topless mereology for a bit and consider what happens when unrestricted composition *does* hold. In particular, I want to know how many things there can be in the presence of UC. (I shall use the expression “there can be kappa many things” to mean there is a kappa sized model of plural mereology.)

The first observations are that the universe will be of size or when kappa is infinite and finite respectively, and the the world contains exactly kappa many atoms, and no gunk. If there is gunk there are infinitely many disjoint things (suppose there were n: . would have a proper part b. , and b would be distinct from and disjoint so there would disjoint things, contradiction) and thus uncountably many fusions of them. For mixed gunky/pointy universes their size is just the max of the number of gunky things and the number of non-gunky things. So we know there cannot be any countable models. (This is why we didn’t use a first order theory of mereology.)

Kenny cites the result that every infinite complete boolean algebra has size , where . The sufficient conditions for to be a size of the universe were left unclear, although he mentioned that if was inaccessible, then you can find a model of that size. I think you can do a bit better than this: if then you can have a sized model, which combining these results gives us:

is a possible size of the universe iff for some finite n, or .

To see the the right-left direction, let and take the regular open sets in (the Tychonoff product of the discrete topology on 2.) There are regular open sets in , which is slightly surprising. I’m not going to write the proof out here, but it helps to know that has the Suslin property. The interesting thing is that this construction is always gunky, so all the possible sizes are exhausted by gunky worlds alone – considering atoms does not change anything size wise.

Posted in Mereology, Metaphysics, Philosophical Logic, Set Theory **|** Tagged Boolean algebra, How big is the universe, Inaccessible cardinals, Mereology, Models of second order mereology, Plural mereology, Size of the universe, Unrestricted fusions **|**

Interesting — some readers may like to see the proof that there are 2^k objects in the finite case, which they can get from here: http://mathworld.wolfram.com/k-Subset.html (NB k there is the number of atoms in the object, n the number of atoms in the universe). I assume you subtract 1 from this because you don’t want to count the “null object”.

When thinking about infinite cases, doesn’t it simplify matters if one sees fusions as sets of atoms, so that the set of all fusions is just the power set of the set of all atoms? Cardinalities of power sets are pretty well-understood. Do you see any downside to that approach?

by Rich April 19, 2008 at 11:41 amHi Rich. Reasoning as you suggested is fine if you’re in a completely atomic world. The size of the universe is then or when the universe is infinite and finite respectively. The difficulty comes when you want to work out what the size of the universe is when you allow for gunk (something such that all of its parts have proper parts.) It turns out that if the universe is infinite, then it is of size if and only if .

by Andrew April 19, 2008 at 11:50 am