Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Androidâ„¢ device!
Install
Faster access than browser!
 

Axiom of constructibility and Inner model theory

Shortcuts: Differences, Similarities, Jaccard Similarity Coefficient, References.

Difference between Axiom of constructibility and Inner model theory

Axiom of constructibility vs. Inner model theory

The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. In set theory, inner model theory is the study of certain models of ZFC or some fragment or strengthening thereof.

Similarities between Axiom of constructibility and Inner model theory

Axiom of constructibility and Inner model theory have 10 things in common (in Unionpedia): Consistency, Constructible universe, Continuum hypothesis, Equiconsistency, Kurt Gödel, Large cardinal, Set theory, Springer Science+Business Media, Von Neumann universe, Zermelo–Fraenkel set theory.

Consistency

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

Axiom of constructibility and Consistency · Consistency and Inner model theory · 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.

Axiom of constructibility and Constructible universe · Constructible universe and Inner model theory · See more »

Continuum hypothesis

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

Axiom of constructibility and Continuum hypothesis · Continuum hypothesis and Inner model theory · 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.

Axiom of constructibility and Equiconsistency · Equiconsistency 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.

Axiom of constructibility and Kurt Gödel · Inner model theory 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.

Axiom of constructibility and Large cardinal · Inner model theory and Large cardinal · See more »

Set theory

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

Axiom of constructibility and Set theory · Inner model theory 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.

Axiom of constructibility and Springer Science+Business Media · Inner model theory and Springer Science+Business Media · 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.

Axiom of constructibility and Von Neumann universe · Inner model theory and Von Neumann universe · 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.

Axiom of constructibility and Zermelo–Fraenkel set theory · Inner model theory and Zermelo–Fraenkel set theory · See more »

The list above answers the following questions

Axiom of constructibility and Inner model theory Comparison

Axiom of constructibility has 26 relations, while Inner model theory has 25. As they have in common 10, the Jaccard index is 19.61% = 10 / (26 + 25).

References

This article shows the relationship between Axiom of constructibility and Inner model theory. To access each article from which the information was extracted, please visit:

Hey! We are on Facebook now! »