Totally indescribable cardinal
- Totally indescribable cardinal
In mathematics, a totally indescribable cardinal is a certain kind of large cardinal number.
Formally, a cardinal number κ is called totally indescribable iff for every natural number "n", proposition φ, and set A ⊆ Vκ with (Vκ+n, ∈, A) ⊧ φ there exists an α < κ with (Vα+n, ∈, A ∩ Vα) ⊧ φ.
The idea is that κ cannot be distinguished (looking from below) from smaller cardinals by any formula of n+1-th order logic even with the advantage of an extra unary predicate symbol (for A). This implies that it is large because it means that there must be many smaller cardinals with similar properties.
More generally, a cardinal number κ is called Πnm-indescribable if for every Πm proposition φ, and set A ⊆ Vκ with (Vκ+n, ∈, A) ⊧ φ there exists an α < κ with (Vα+n, ∈, A ∩ Vα) ⊧ φ.
Here one looks at formulas with m-1 alternations of quantifiers with the outermost quantifier being universal.
References
*
*
Wikimedia Foundation.
2010.
Look at other dictionaries:
Cardinal inaccessible — En mathématiques, et plus précisément en théorie des ensembles, un cardinal inaccessible est un cardinal ne pouvant être construit à partir de cardinaux plus petits à l aide des axiomes de ZFC ; cette propriété fait qu un cardinal… … Wikipédia en Français
List of large cardinal properties — This page is a list of some types of cardinals; it is arranged roughly in order of the consistency strength of the axiom asserting the existence of cardinals with the given property. Existence of a cardinal number κ of a given type implies the… … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia
List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie … Wikipedia
Large numbers — This article is about large numbers in the sense of numbers that are significantly larger than those ordinarily used in everyday life, for instance in simple counting or in monetary transactions. The term typically refers to large positive… … Wikipedia
KABBALAH — This entry is arranged according to the following outline: introduction general notes terms used for kabbalah the historical development of the kabbalah the early beginnings of mysticism and esotericism apocalyptic esotericism and merkabah… … Encyclopedia of Judaism
literature — /lit euhr euh cheuhr, choor , li treuh /, n. 1. writings in which expression and form, in connection with ideas of permanent and universal interest, are characteristic or essential features, as poetry, novels, history, biography, and essays. 2.… … Universalium
Apophatic theology — Via Negativa redirects here. For The X Files episode, see Via Negativa (The X Files). Apophatic theology (from Greek ἀπόφασις from ἀπόφημι apophēmi, to deny ) also known as negative theology or via negativa (Latin for negative way ) is a theology … Wikipedia
Hinduism — /hin dooh iz euhm/, n. the common religion of India, based upon the religion of the original Aryan settlers as expounded and evolved in the Vedas, the Upanishads, the Bhagavad Gita, etc., having an extremely diversified character with many… … Universalium
History of Venezuela — Infobox Country native name = República Bolivariana de Venezuela conventional long name = Bolivarian Republic of Venezuela common name = Venezuela official languages = Spanish demonym = Venezuelan capital = Caracas latd=10 |latm=30 |latNS=N… … Wikipedia
