FANDOM


基数 \(\kappa\) が \(\Pi^n_m\) 描写不可能 (\(\Pi^n_m\)-indescribable) であると言えるときは、あらゆる Πm の命題 φ と、(Vκ+n, ∈, A) ⊧ φ を満たす集合 A ⊆ Vκ に対して、 (Vα+n, ∈, A ∩ Vα) ⊧ φ となるような α < κ が存在する時である。

\(\Pi^1_1\) 描写不可能基数は、弱コンパクト基数と同じである。

外部リンク 編集

広告ブロッカーが検出されました。


広告収入で運営されている無料サイトWikiaでは、このたび広告ブロッカーをご利用の方向けの変更が加わりました。

広告ブロッカーが改変されている場合、Wikiaにアクセスしていただくことができなくなっています。カスタム広告ブロッカーを解除してご利用ください。

FANDOMでも見てみる

おまかせWiki