Large cardinal

A necessary condition for a property of cardinal numbers to be a large cardinal property is that the existence of such a cardinal is not known to be inconsistent with ZF and that such a cardinal Κ would be an uncountable initial ordinal for which LΚ is a model of ZFC. If ZFC is consistent, then ZFC does not imply that any such large cardinals exist. ==Hierarchy of consistency strength==

A remarkable observation about large cardinal axioms is that they appear to occur in strict linear order by consistency strength. That is, no exception is known to the following: Given two large cardinal axioms A1 and A2, exactly one of three things happens: • ZFC + A1 is consistent if and only if ZFC + A2 is consistent; • ZFC + A1 proves that ZFC + A2 is consistent; or • ZFC + A2 proves that ZFC + A1 is consistent. These are mutually exclusive, unless one of the theories in question is actually inconsistent. In case 1, we say that A1 and A2 are equiconsistent. In case 2, we say that A1 is consistency-wise stronger than A2 (vice versa for case 3). If A2 is stronger than A1, then ZFC + A1 cannot prove ZFC + A2 is consistent, even with the additional hypothesis that ZFC + A1 is itself consistent (provided of course that it really is). This follows from Gödel's second incompleteness theorem. The observation that large cardinal axioms are linearly ordered by consistency strength is just that: an observation, not a theorem. (Without an accepted definition of large cardinal property, it is not subject to proof in the ordinary sense.) It is also not known in every instance which of the three logical relationships holds. Saharon Shelah has asked, "[i]s there some theorem explaining this, or is our vision just more uniform than we realize?" Woodin, however, deduces this from the Ω-conjecture, the main unsolved problem of his Ω-logic. It is also noteworthy that many combinatorial statements are exactly equiconsistent with some large cardinal rather than, say, being intermediate between them. The ordering of large cardinal axioms by consistency strength is not necessarily the same as their ordering by the size of their smallest witnesses. For example, the existence of a huge cardinal is much stronger, in terms of consistency strength, than the existence of a supercompact cardinal, but, assuming both exist, the first huge cardinal is smaller than the first supercompact one. ==Motivations and epistemic status==

Large cardinals are understood in the context of the von Neumann universe V, which is built up by transfinitely iterating the powerset operation, which collects together all subsets of a given set. Typically, models in which large cardinal axioms fail can be seen in some natural way as submodels of those in which the axioms hold. For example, if there is an inaccessible cardinal, then "cutting the universe off" at the height of the first such cardinal yields a universe in which there is no inaccessible cardinal. Or if there is a measurable cardinal, then iterating the definable powerset operation rather than the full one yields Gödel's constructible universe, L, which does not satisfy the statement "there is a measurable cardinal" (even though it contains the measurable cardinal as an ordinal). Thus, from a certain point of view held by many set theorists (especially those inspired by the tradition of the Cabal), large cardinal axioms "say" that we are considering all the sets we're "supposed" to be considering, whereas their negations are "restrictive" and say that we're considering only some of those sets. Moreover the consequences of large cardinal axioms seem to fall into natural patterns (see Maddy, "Believing the Axioms, II"). For these reasons, such set theorists tend to consider large cardinal axioms to have a preferred status among extensions of ZFC, one not shared by axioms of less clear motivation (such as Martin's axiom) or others that they consider intuitively unlikely (such as V = L). The hardcore realists in this group would state, more simply, that large cardinal axioms are true. This point of view is by no means universal among set theorists. Some formalists would assert that standard set theory is by definition the study of the consequences of ZFC, and while they might not be opposed in principle to studying the consequences of other systems, they see no reason to single out large cardinals as preferred. There are also realists who deny that ontological maximalism is a proper motivation, and even believe that large cardinal axioms are false. And finally, there are some who deny that the negations of large cardinal axioms are restrictive, pointing out that (for example) there can be a transitive set model in L that believes there exists a measurable cardinal, even though L itself does not satisfy that proposition. ==See also==