Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Free
Faster access than browser!
 

Axiom of constructibility

+ Save concept

The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. [1]

26 relations: Analytical hierarchy, Axiom, Axiom of choice, Cabal (set theory), Consistency, Constructible universe, Continuum hypothesis, Equiconsistency, Erdős cardinal, Inner model theory, Kurt Gödel, Large cardinal, List of large cardinal properties, Mathematical Association of America, Measurable cardinal, Non-measurable set, Paul Cohen, Saharon Shelah, Set theory, Springer Science+Business Media, Statements true in L, Suslin's problem, Von Neumann universe, Von Neumann–Bernays–Gödel set theory, Zermelo–Fraenkel set theory, Zero sharp.

Analytical hierarchy

In mathematical logic and descriptive set theory, the analytical hierarchy is an extension of the arithmetical hierarchy.

New!!: Axiom of constructibility and Analytical hierarchy · See more »

Axiom

An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments.

New!!: Axiom of constructibility and Axiom · See more »

Axiom of choice

In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that the Cartesian product of a collection of non-empty sets is non-empty.

New!!: Axiom of constructibility and Axiom of choice · See more »

Cabal (set theory)

The Cabal was, or perhaps is, a set of set theorists in Southern California, particularly at UCLA and Caltech, but also at UC Irvine.

New!!: Axiom of constructibility and Cabal (set theory) · See more »

Christmas

Christmas is an annual festival commemorating the birth of Jesus Christ,Martindale, Cyril Charles.

New!!: Axiom of constructibility and Christmas · See more »

Christmas and holiday season

The Christmas season, also called the festive season, or the holiday season (mainly in the U.S. and Canada; often simply called the holidays),, is an annually recurring period recognized in many Western and Western-influenced countries that is generally considered to run from late November to early January.

New!!: Axiom of constructibility and Christmas and holiday season · See more »

Christmas Eve

Christmas Eve is the evening or entire day before Christmas Day, the festival commemorating the birth of Jesus.

New!!: Axiom of constructibility and Christmas Eve · See more »

Christmas traditions

Christmas traditions vary from country to country.

New!!: Axiom of constructibility and Christmas traditions · See more »

Consistency

In classical deductive logic, a consistent theory is one that does not contain a contradiction.

New!!: Axiom of constructibility and Consistency · See more »

Constructible universe

In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted L, is a particular class of sets that can be described entirely in terms of simpler sets.

New!!: Axiom of constructibility and Constructible universe · See more »

Continuum hypothesis

In mathematics, the continuum hypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets.

New!!: Axiom of constructibility and Continuum hypothesis · See more »

Equiconsistency

In mathematical logic, two theories are equiconsistent if the consistency of one theory implies the consistency of the other theory, and vice versa.

New!!: Axiom of constructibility and Equiconsistency · See more »

Erdős cardinal

In mathematics, an Erdős cardinal, also called a partition cardinal is a certain kind of large cardinal number introduced by.

New!!: Axiom of constructibility and Erdős cardinal · See more »

Inner model theory

In set theory, inner model theory is the study of certain models of ZFC or some fragment or strengthening thereof.

New!!: Axiom of constructibility and Inner model theory · See more »

Kurt Gödel

Kurt Friedrich Gödel (April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher.

New!!: Axiom of constructibility and Kurt Gödel · See more »

Large cardinal

In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers.

New!!: Axiom of constructibility and Large cardinal · See more »

List of large cardinal properties

This page includes a list of cardinals with large cardinal properties.

New!!: Axiom of constructibility and List of large cardinal properties · See more »

Mathematical Association of America

The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level.

New!!: Axiom of constructibility and Mathematical Association of America · See more »

Measurable cardinal

In mathematics, a measurable cardinal is a certain kind of large cardinal number.

New!!: Axiom of constructibility and Measurable cardinal · See more »

New Year

New Year is the time or day at which a new calendar year begins and the calendar's year count increments by one.

New!!: Axiom of constructibility and New Year · See more »

New Year's Day

New Year's Day, also called simply New Year's or New Year, is observed on January 1, the first day of the year on the modern Gregorian calendar as well as the Julian calendar.

New!!: Axiom of constructibility and New Year's Day · See more »

New Year's Eve

In the Gregorian calendar, New Year's Eve (also known as Old Year's Day or Saint Sylvester's Day in many countries), the last day of the year, is on 31 December which is the seventh day of Christmastide.

New!!: Axiom of constructibility and New Year's Eve · See more »

Non-measurable set

In mathematics, a non-measurable set is a set which cannot be assigned a meaningful "size".

New!!: Axiom of constructibility and Non-measurable set · See more »

Paul Cohen

Paul Joseph Cohen (April 2, 1934 – March 23, 2007) was an American mathematician.

New!!: Axiom of constructibility and Paul Cohen · See more »

Saharon Shelah

Saharon Shelah (שהרן שלח) is an Israeli mathematician.

New!!: Axiom of constructibility and Saharon Shelah · See more »

Set theory

Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.

New!!: Axiom of constructibility and Set theory · See more »

Springer Science+Business Media

Springer Science+Business Media or Springer, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.

New!!: Axiom of constructibility and Springer Science+Business Media · See more »

Statements true in L

Here is a list of propositions that hold in the constructible universe (denoted L).

New!!: Axiom of constructibility and Statements true in L · See more »

Suslin's problem

In mathematics, Suslin's problem is a question about totally ordered sets posed by and published posthumously.

New!!: Axiom of constructibility and Suslin's problem · See more »

Von Neumann universe

In set theory and related branches of mathematics, the von Neumann universe, or von Neumann hierarchy of sets, denoted V, is the class of hereditary well-founded sets.

New!!: Axiom of constructibility and Von Neumann universe · See more »

Von Neumann–Bernays–Gödel set theory

In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of Zermelo–Fraenkel set theory (ZFC).

New!!: Axiom of constructibility and Von Neumann–Bernays–Gödel set theory · See more »

Zermelo–Fraenkel set theory

In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox.

New!!: Axiom of constructibility and Zermelo–Fraenkel set theory · See more »

Zero sharp

In the mathematical discipline of set theory, 0# (zero sharp, also 0#) is the set of true formulae about indiscernibles and order-indiscernibles in the Gödel constructible universe.

New!!: Axiom of constructibility and Zero sharp · See more »

2018

2018 has been designated as the third International Year of the Reef by the International Coral Reef Initiative.

New!!: Axiom of constructibility and 2018 · See more »

2019

2019 (MMXIX) will be a common year starting on Tuesday of the Gregorian calendar, the 2019th year of the Common Era (CE) and Anno Domini (AD) designations, the 19th year of the 3rd millennium, the 19th year of the 21st century, and the 10th and last year of the 2010s decade.

New!!: Axiom of constructibility and 2019 · See more »

Redirects here:

Axiom of constructability, V = L, V equals L, V=L.

References

[1] https://en.wikipedia.org/wiki/Axiom_of_constructibility

OutgoingIncoming
Hey! We are on Facebook now! »