Encyclopedia > Totally indescribable cardinal

Article Content

Totally indescribable cardinal

A cardinal number κ is called totally indescribable iff for every proposition φ and every A ⊆ V_κ with (V_κ, ∈, A) ⊧ φ there exists an α < κ with (V_α, ∈, A ∩ V_α) ⊧ φ.

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia

Search over one million articles, find something about almost anything!

Featured Article

Charles V, Holy Roman Emperor

... Emperors Succeeded by:Ferdinand I, Holy Roman Emperor Preceded by Joanna of Castile (regencies of Ferdinand II of Aragon and Philip I) List of ...