Ineffable cardinal

Ineffable cardinal

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

Formally, a cardinal number κ is ineffable if and only if for every f: κ 2 → {0, 1}, there is a stationary subset of κ that is homogeneous for f.

κ is "n"-ineffable (for a positive integer "n") if and only if for every f: κ "n" → {0, 1}, there is a stationary subset of κ that is homogeneous for f.

A totally ineffable cardinal is a cardinal that is "n"-ineffable for every "n". If κ is "n"+1-ineffable, then the set of "n"-ineffable cardinals below κ is a stationary subset of κ.

References:

Harvey Friedman: "Subtle Cardinals and Linear Orderings." Annals of Pure and Applied Logic (January 15, 2001) 107(1-3):1-34.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Almost ineffable cardinal — In mathematics, an almost ineffable cardinal is a certain kind of large cardinal number.Formally, a cardinal number κ is almost ineffable if and only if for every f: κ → P(κ) with the property that f(δ) is a subset of δ for all ordinals δ, there… …   Wikipedia

  • Cardinal mesurable — En mathématiques, un cardinal mesurable est un cardinal sur lequel existe une mesure définie pour tout sous ensemble ; cette propriété fait qu un tel cardinal est un grand cardinal. Sommaire 1 Définitions et propriétés de grand cardinal 2… …   Wikipédia en Français

  • Ineffably Ramsey cardinal — In mathematics, an ineffably Ramsey cardinal (named after Frank P. Ramsey and after ineffable cardinals) is a certain kind of large cardinal number.Formally, a cardinal number kappa; such that for every function f : [ kappa;] < omega; rarr; {0,… …   Wikipedia

  • 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

  • Measurable cardinal — In mathematics, a measurable cardinal is a certain kind of large cardinal number. Contents 1 Measurable 2 Real valued measurable 3 See also 4 References …   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 (I) — NOTOC Ia IA automorphism ICER Icosagon Icosahedral 120 cell Icosahedral prism Icosahedral symmetry Icosahedron Icosian Calculus Icosian game Icosidodecadodecahedron Icosidodecahedron Icositetrachoric honeycomb Icositruncated dodecadodecahedron… …   Wikipedia

  • List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

  • Decretum de Judaeis — is the name given to the series of draft documents of the Second Vatican Council which led to ground breaking progress in the Church s relations with Jews. Because they are not featured prominently within Nostra Aetate itself, with only 25 % …   Wikipedia

  • NOM — L’analyse grammaticale distinguait les noms communs et les noms propres. Les premiers correspondent, selon l’analyse logique classique, aux termes généraux qui se disent de plusieurs, et les seconds aux termes singuliers qui ne se disent que d’un …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”