Unfoldable cardinal

Last updated

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

Contents

Formally, a cardinal number κ is λ-unfoldable if and only if for every transitive model M of cardinality κ of ZFC-minus-power set such that κ is in M and M contains all its sequences of length less than κ, there is a non-trivial elementary embedding j of M into a transitive model with the critical point of j being κ and j(κ) ≥ λ.

A cardinal is unfoldable if and only if it is an λ-unfoldable for all ordinals λ.

A cardinal number κ is strongly λ-unfoldable if and only if for every transitive model M of cardinality κ of ZFC-minus-power set such that κ is in M and M contains all its sequences of length less than κ, there is a non-trivial elementary embedding j of M into a transitive model "N" with the critical point of j being κ, j(κ) ≥ λ, and V(λ) is a subset of N. Without loss of generality, we can demand also that N contains all its sequences of length λ.

Likewise, a cardinal is strongly unfoldable if and only if it is strongly λ-unfoldable for all λ.

These properties are essentially weaker versions of strong and supercompact cardinals, consistent with V = L. Many theorems related to these cardinals have generalizations to their unfoldable or strongly unfoldable counterparts. For example, the existence of a strongly unfoldable implies the consistency of a slightly weaker version of the proper forcing axiom.

Relations between large cardinal properties

Assuming V = L, the least unfoldable cardinal is greater than the least totally indescribable cardinal. [1] p.14 Assuming a Ramsey cardinal exists, it is less than the least Ramsey cardinal. [1] p.3

A Ramsey cardinal is unfoldable, and will be strongly unfoldable in L. It may fail to be strongly unfoldable in V, however.[ citation needed ]

In L, any unfoldable cardinal is strongly unfoldable; thus unfoldables and strongly unfoldables have the same consistency strength.[ citation needed ]

A cardinal k is κ-strongly unfoldable, and κ-unfoldable, if and only if it is weakly compact. A κ+ω-unfoldable cardinal is totally indescribable and preceded by a stationary set of totally indescribable cardinals.[ citation needed ]

Related Research Articles

In set theory, an uncountable cardinal is inaccessible if it cannot be obtained from smaller cardinals by the usual operations of cardinal arithmetic. More precisely, a cardinal κ is strongly inaccessible if it is uncountable, it is not a sum of fewer than κ cardinals smaller than κ, and implies .

In mathematics, a Q-indescribable cardinal is a certain kind of large cardinal number that is hard to axiomatize in some language Q. There are many different types of indescribable cardinals corresponding to different choices of languages Q. They were introduced by Hanf & Scott (1961).

In mathematics, a measurable cardinal is a certain kind of large cardinal number. In order to define the concept, one introduces a two-valued measure on a cardinal κ, or more generally on any set. For a cardinal κ, it can be described as a subdivision of all of its subsets into large and small sets such that κ itself is large, and all singletons {α}, ακ are small, complements of small sets are large and vice versa. The intersection of fewer than κ large sets is again large.

In set theory, a strong cardinal is a type of large cardinal. It is a weakening of the notion of a supercompact cardinal.

In set theory, a Woodin cardinal is a cardinal number such that for all functions

In mathematics, a cardinal number κ is called huge if there exists an elementary embedding j : VM from V into a transitive inner model M with critical point κ and

In mathematics, a weakly compact cardinal is a certain kind of cardinal number introduced by Erdős & Tarski (1961); weakly compact cardinals are large cardinals, meaning that their existence cannot be proven from the standard axioms of set theory.

In set theory, a branch of mathematics, a rank-into-rank embedding is a large cardinal property defined by one of the following four axioms given in order of increasing consistency strength.

In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the name suggests, generally very "large". The proposition that such cardinals exist cannot be proved in the most common axiomatization of set theory, namely ZFC, and such propositions can be viewed as ways of measuring how "much", beyond ZFC, one needs to assume to be able to prove certain desired results. In other words, they can be seen, in Dana Scott's phrase, as quantifying the fact "that if you want more you have to assume more".

In mathematical logic, and particularly in its subfield model theory, a saturated modelM is one that realizes as many complete types as may be "reasonably expected" given its size. For example, an ultrapower model of the hyperreals is -saturated, meaning that every descending nested sequence of internal sets has a nonempty intersection.

In set theory, a branch of mathematics, a reflection principle says that it is possible to find sets that, with respect to any given property, resemble the class of all sets. There are several different forms of the reflection principle depending on exactly what is meant by "resemble". Weak forms of the reflection principle are theorems of ZF set theory due to Montague (1961), while stronger forms can be new and very powerful axioms for set theory.

In set theory, a branch of mathematics, a Reinhardt cardinal is a kind of large cardinal. Reinhardt cardinals are considered under ZF, because they are inconsistent with ZFC. They were suggested by American mathematician William Nelson Reinhardt (1939–1998).

In mathematics, a shrewd cardinal is a certain kind of large cardinal number introduced by, extending the definition of indescribable cardinals.

In set theory, an extender is a system of ultrafilters which represents an elementary embedding witnessing large cardinal properties. A nonprincipal ultrafilter is the most basic case of an extender.

Moti Gitik is a mathematician, working in set theory, who is professor at the Tel-Aviv University. He was an invited speaker at the 2002 International Congresses of Mathematicians, and became a fellow of the American Mathematical Society in 2012.

This is a glossary of set theory.

In set theory, Berkeley cardinals are certain large cardinals suggested by Hugh Woodin in a seminar at the University of California, Berkeley in about 1992.

In mathematical set theory, a worldly cardinal is a cardinal κ such that the rank Vκ is a model of Zermelo–Fraenkel set theory.

In mathematics, the wholeness axiom is a strong axiom of set theory introduced by Paul Corazza in 2000.

References

Citations

  1. 1 2 A bot will complete this citation soon. Click here to jump the queue arXiv : 9611209 .