One answer to your question is to remain within the realm of the continuum, and consider what happens when the Continuum Hypothesis fails. In this case, there are cardinals κ below the continuum c = |R|, and one naturally inquires whether these cardinals behave more like aleph<sub>0</sub>, or more like the continuum, with respect to measure and additivity. For example, we may still want to inquire about our favorite measures, but with uncountable cardinals. The answer is saturated with set-theoretic independence. For example, it is known to be consistent with the axioms of set theory that Lebesgue measure can be *better* than countably additive! Under Martin's Axiom (MA), when the Continuum Hypothesis fails, then the union of κ many measure zero sets remains measure zero. There are similar results concerning the additivity of the ideal of meager sets. Indeed, there is a rich subject investigating this called *cardinal characteristics of the continuum*. I discussed some of the concepts in [this MO answer](http://mathoverflow.net/questions/8972#9027). The point of this subject is to investigate exactly how the dichotomy between countable and continuum plays out in situations when CH fails. Researchers in this area define a number of cardinal invariants, such as: >>The <b>bounding</b> number b is the size of the smallest unbounded family of functions from ω to ω. There is no function that bounds every member of the family. >>The <b>dominating</b> number d is the size of the smallest dominating family of functions ω to ω. Every function is dominated by a member of the family. >>The <b>additivity</b> number for measure is the smallest number of measure zero sets whose union is not measure zero. >>The <b>covering</b> number for measure is the smallest number of measure zero sets whose union is all of R. >>The <b>uniformity</b> number for measure is the size of the smallest non-measure zero set. >>The <b>cofinality</b> number for measure is the smallest size of a family of measure zero sets, such that every measure zero set is contained in one of them. Each of these numbers is ω<sub>1</sub> under the Continuum Hypothesis, and this expresses the preoccupation with ω that you mention in your question. However, when CH fails, then one cannot prove that any of these numbers is equal to another. Each of them expresses a fundamental characteristic of the continuum, and there are models of set theory distinguishing any two of them (and distinguishing them from ω<sub>1</sub> and the continuum as well). One can define similar numbers using the ideal of meager sets in place of the ideal of measure zero sets, and the relationships between all these cardinal characteristics are precisely expressed by [Cichon's diagram](http://en.wikipedia.org/wiki/Cicho%C5%84%27s_diagram). In particular, no two of them are provably equal, and there are models of set theory exhibiting wide varieties of possible relationships. There are dozens of other cardinal characteristics, whose relationships are the focus of intense study by set theorists working in this area. The main tool for separating these cardinal characteristics is the method of forcing and especially iterated forcing. ------------- Another answer to your question is to go well beyond the continuum, and perhaps this is what you are really asking about. The analogue of the theory of cardinal characteristics of the continuum has been carried out for arbitrary cardinals κ, and again, the situation is saturated with independence results, proved by forcing. For certain types of questions, however, it is interesting to note that there is no intermediate possibility between the countable and large cardinals. For example, an ultrafilter on a set can be viewed as an ω-complete 2-valued measure on subsets of ω (ω complete = additive for unions of size less than ω = finitely additive). Can one have an Aleph<sub>1</sub> additive ultrafilter on a set? Well, if F is such an ultrafilter, then it must also be Aleph<sub>2</sub> additive, Aleph<sub>3</sub> additive, and so on, for quite a long way, up to the least measurable cardinal. That is, it is just not possible to have a δ-additive ultrafilter, when δ is uncountable, unless it is also additive up to measurable cardinal. Other similar phenomenon surround the question: does every κ additive filter extend to a κ additive ultrafilter on a set? This is true for κ = ω, since this just amounts to being finitely additive, which is what being a filter means. But for uncountable κ, it is equivalent to the assertion that κ is strongly compact, which is very high in the large cardinal hierarchy.