Stein showed that groups of this kind are free and the third axiom of Kolmogorov involves an additivity of this type.
Stein showed that groups of this kind are free and the third axiom of Kolmogorov involves an additivity of this type. The Lowenheim-Skolem theorem states that if a first-order theory has a model, then it has a model with this type of domain. Sets with this property have a Hausdorff dimension of zero and Cieslieski defined this property as that which is equipollent to the finite ordinals. Cantor's diagonal argument shows that the real numbers do not have this property thought sets with it are typically finite or denumerable. For 10 points, name this type of set whose cardinality is equal to a subset of the set of natural numbers.
Stein showed that groups of this kind are free and the third axiom of Kolmogorov involves an additivity of this type.
{countable}