  It is easy to see that this definition covers the more intuitive  characterizations of abstract possible worlds above: they are  consistent — i.e., possible — states of the world that  settle every possibility, consistent states to which no further  detail could be added without rendering them inconsistent. Note also  that, for the abstractionist, as for the concretist, the actual  world is no different in kind from any other possible world; all  possible worlds exist, and in precisely the same sense as the actual  world. The actual world is simply the total possible SOA that, in  fact, obtains. And non-actual worlds are simply those total possible  SOAs that do not. 