y. is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
y. @waidotto

理論$T$の(たとえば$\mathsf{ACF}_p$の)完全性を示すには量化記号消去ができることを示してモデル完全性(と素モデルの存在)から示す方法しか知らなかったけど,有限モデルを持たずある無限基数$\kappa$について範疇的ならLöwenheim-Skolemの定理から示せることを教えてもらった.こっちの方が「モデル理論っぽい」.

· Web · 2 · 2