22 relations: Analytical hierarchy, Axiom, Axiom of choice, Cabal (set theory), Constructible universe, 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, Saharon Shelah, Set theory, Springer Science+Business Media, Statements true in L, Suslin's problem, Von Neumann universe, 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 ·

## Axiom

An axiom or postulate is a premise or starting point of reasoning.

New!!: Axiom of constructibility and Axiom ·

## 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 ·

## Cabal (set theory)

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

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

## 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 ·

## 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 ·

## 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 ·

## 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 ·

## 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 ·

## 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 ·

## 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 ·

## 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 ·

## Measurable cardinal

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

New!!: Axiom of constructibility and Measurable cardinal ·

## 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 ·

## Saharon Shelah

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

New!!: Axiom of constructibility and Saharon Shelah ·

## Set theory

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

New!!: Axiom of constructibility and Set theory ·

## Springer Science+Business Media

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

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

## 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 ·

## Suslin's problem

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

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

## 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 ·

## Zermelo–Fraenkel set theory

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

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

## 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 ·