Cell分解によるp進体の量化記号消去

摘要

L-理論 T が量化記号消去（QE）を許すとは，各L－論理式ダ（x）に対して，量化記号を持たないL-論理式ψ（x）で，T = Ax(e(x) → ψ(x))を満たすものがあることである．QEを許す理論のよく知られた例として，端点のない桐密な全順序集合，実閉（順序）帆代数閉体の公理などがあり，また整数の加法群やp進体の理論もある言語でQEを許す．