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

Supercompact cardinal

Index Supercompact cardinal

In set theory, a supercompact cardinal is a type of large cardinal. [1]

12 relations: Continuum hypothesis, Critical point (set theory), Huge cardinal, Inner model, Inner model theory, Large cardinal, Normal measure, Ordinal number, Richard Laver, Set theory, Strongly compact cardinal, Ultrafilter.

Continuum hypothesis

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

New!!: Supercompact cardinal and Continuum hypothesis · See more »

Critical point (set theory)

In set theory, the critical point of an elementary embedding of a transitive class into another transitive class is the smallest ordinal which is not mapped to itself.

New!!: Supercompact cardinal and Critical point (set theory) · See more »

Huge cardinal

In mathematics, a cardinal number κ is called huge if there exists an elementary embedding j: V → M from V into a transitive inner model M with critical point κ and Here, αM is the class of all sequences of length α whose elements are in M. Huge cardinals were introduced by.

New!!: Supercompact cardinal and Huge cardinal · See more »

Inner model

In set theory, a branch of mathematical logic, an inner model for a theory T is a substructure of a model M of a set theory that is both a model for T and contains all the ordinals of M.

New!!: Supercompact cardinal and Inner model · 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!!: Supercompact cardinal and Inner model theory · 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!!: Supercompact cardinal and Large cardinal · See more »

Normal measure

In set theory, a normal measure is a measure on a measurable cardinal κ such that the equivalence class of the identity function on κ maps to κ itself in the ultrapower construction.

New!!: Supercompact cardinal and Normal measure · See more »

Ordinal number

In set theory, an ordinal number, or ordinal, is one generalization of the concept of a natural number that is used to describe a way to arrange a collection of objects in order, one after another.

New!!: Supercompact cardinal and Ordinal number · See more »

Richard Laver

Richard Joseph Laver (October 20, 1942 – September 19, 2012) was an American mathematician, working in set theory.

New!!: Supercompact cardinal and Richard Laver · See more »

Set theory

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

New!!: Supercompact cardinal and Set theory · See more »

Strongly compact cardinal

In mathematical set theory, a strongly compact cardinal is a certain kind of large cardinal number.

New!!: Supercompact cardinal and Strongly compact cardinal · See more »

Ultrafilter

In the mathematical field of set theory, an ultrafilter on a given partially ordered set (poset) P is a maximal filter on P, that is, a filter on P that cannot be enlarged.

New!!: Supercompact cardinal and Ultrafilter · See more »

References

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

OutgoingIncoming
Hey! We are on Facebook now! »