Faster access than browser!
19 relations: Axiom of constructibility, Cardinal number, Critical point (set theory), Elementary equivalence, Equiconsistency, Indescribable cardinal, Inner model, Joel David Hamkins, Journal of Symbolic Logic, Large cardinal, Mathematics, Ordinal number, Power set, Proper forcing axiom, Ramsey cardinal, Strong cardinal, Supercompact cardinal, Weakly compact cardinal, Zermelo–Fraenkel set theory.
Axiom of constructibility
The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible.
New!!: Unfoldable cardinal and Axiom of constructibility · See more »
Cardinal number
In mathematics, cardinal numbers, or cardinals for short, are a generalization of the natural numbers used to measure the cardinality (size) of sets.
New!!: Unfoldable cardinal and Cardinal number · 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!!: Unfoldable cardinal and Critical point (set theory) · See more »
Elementary equivalence
In model theory, a branch of mathematical logic, two structures M and N of the same signature σ are called elementarily equivalent if they satisfy the same first-order σ-sentences.
New!!: Unfoldable cardinal and Elementary equivalence · 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!!: Unfoldable cardinal and Equiconsistency · See more »
Indescribable cardinal
In mathematics, a Q-indescribable cardinal is a certain kind of large cardinal number that is hard to describe in some language Q. There are many different types of indescribable cardinals corresponding to different choices of languages Q. They were introduced by.
New!!: Unfoldable cardinal and Indescribable 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!!: Unfoldable cardinal and Inner model · See more »
Joel David Hamkins
Joel David Hamkins is an American mathematician and philosopher based at the City University of New York.
New!!: Unfoldable cardinal and Joel David Hamkins · See more »
Journal of Symbolic Logic
The Journal of Symbolic Logic is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic.
New!!: Unfoldable cardinal and Journal of Symbolic Logic · 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!!: Unfoldable cardinal and Large cardinal · See more »
Mathematics
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
New!!: Unfoldable cardinal and Mathematics · 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!!: Unfoldable cardinal and Ordinal number · See more »
Power set
In mathematics, the power set (or powerset) of any set is the set of all subsets of, including the empty set and itself, variously denoted as, 𝒫(), ℘() (using the "Weierstrass p"),,, or, identifying the powerset of with the set of all functions from to a given set of two elements,.
New!!: Unfoldable cardinal and Power set · See more »
Proper forcing axiom
In the mathematical field of set theory, the proper forcing axiom (PFA) is a significant strengthening of Martin's axiom, where forcings with the countable chain condition (ccc) are replaced by proper forcings.
New!!: Unfoldable cardinal and Proper forcing axiom · See more »
Ramsey cardinal
In mathematics, a Ramsey cardinal is a certain kind of large cardinal number introduced by and named after Frank P. Ramsey.
New!!: Unfoldable cardinal and Ramsey cardinal · See more »
Strong cardinal
In set theory, a strong cardinal is a type of large cardinal.
New!!: Unfoldable cardinal and Strong cardinal · See more »
Supercompact cardinal
In set theory, a supercompact cardinal is a type of large cardinal.
New!!: Unfoldable cardinal and Supercompact cardinal · See more »
Weakly compact cardinal
In mathematics, a weakly compact cardinal is a certain kind of cardinal number introduced by; weakly compact cardinals are large cardinals, meaning that their existence cannot be proven from the standard axioms of set theory.
New!!: Unfoldable cardinal and Weakly compact cardinal · 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!!: Unfoldable cardinal and Zermelo–Fraenkel set theory · See more »
