| Axiom Of Constructibility |
Article Index for Axiom Of |
Shopping Axiom |
Information AboutAxiom Of Constructibility |
| CATEGORIES ABOUT AXIOM OF CONSTRUCTIBILITY | |
| axioms of set theory | |
| constructible universe | |
V where ''V'' and ''L'' denote the Von Neumann Universe and the Constructible Universe , respectively. IMPLICATIONS Acceptance of the axiom of constructibility settles many natural mathematical questions independent of ZFC , the standard axiomatization of set theory. The axiom of constructibility implies the Generalized Continuum Hypothesis , the Axiom Of Choice , the negation of Suslin's Hypothesis , and the existence of a simple (Δ12) Non-measurable set of real numbers. The axiom of constructibility implies the non-existence of those Large Cardinals with Consistency Strength greater or equal to 0# which even includes some relatively small large cardinals. Thus, no cardinal can be ω1- Erdős in ''L''. While ''L'' does contain the initial ordinals of those large cardinals (when they exist in a supermodel of ''L''), and they are still initial ordinals in ''L'', it excludes the auxiliary structures (e.g. Measures ) which endow those cardinals with their large cardinal properties. Among set theorists of a Realist bent, who believe that the axiom of constructibility is either true or false, most believe that it is false. This is in part because it seems unnecessarily "restrictive" (it allows only certain subsets of a given set, with no clear reason to believe that these are all of them). In part it is because the axiom is contradicted by sufficiently strong Large Cardinal Axiom s. This point of view is especially associated with the Cabal , or the "California school" as Saharon Shelah would have it. REFERENCES SEE ALSO EXTERNAL LINKS
|
|
|