A cardinal number κ is called totally indescribableiff 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!