Axiom of constructibility
- Axiom of constructibility
The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written as
:"V" = "L",
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 () 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 axioms. This point of view is especially associated with the Cabal, or the "California school" as Saharon Shelah would have it.
References
*cite book
last=Devlin
first=Keith
authorlink=Keith Devlin
year = 1984
title = Constructibility
publisher = Springer
id = ISBN 3-540-13258-9
ee also
*Statements true in L
*Constructible universe
External links
* [http://www.maa.org/devlin/devlin_6_01.html "How many real numbers are there?"] , Keith Devlin, MAA Online, June 2001
Wikimedia Foundation.
2010.
Look at other dictionaries:
Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of … Wikipedia
Axiom of global choice — In class theories, the axiom of global choice is a stronger variant of the axiom of choice which applies to proper classes as well as sets. Statement The axiom can be expressed in various ways which are equivalent: Weak form: Every class of… … Wikipedia
Constructible universe — Gödel universe redirects here. For Kurt Gödel s cosmological solution to the Einstein field equations, see Gödel metric. In mathematics, the constructible universe (or Gödel s constructible universe), denoted L, is a particular class of sets… … Wikipedia
Continuum hypothesis — This article is about the hypothesis in set theory. For the assumption in fluid mechanics, see Fluid mechanics. In mathematics, the continuum hypothesis (abbreviated CH) is a hypothesis, advanced by Georg Cantor in 1877[citation needed], about… … Wikipedia
Morass (set theory) — For the variety of wetland, see marsh. In axiomatic set theory, a mathematical discipline, a morass is an infinite combinatorial structure, used to create large structures from a small number of small approximations. They were invented by Ronald… … Wikipedia
Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… … Wikipedia
List of axioms — This is a list of axioms as that term is understood in mathematics, by Wikipedia page. In epistemology, the word axiom is understood differently; see axiom and self evidence. Individual axioms are almost always part of a larger axiomatic… … Wikipedia
List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Universo constructible — En teoría de conjuntos, el universo constructible, también denominado jerarquía constructible o universo constructible de Gödel y que se denota por L, es una clase de conjuntos que pueden ser descritos en términos de conjuntos más simples , los… … Wikipedia Español
