一階の理論

ウィキペディア小見出し辞書

一階の理論

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/07/23 00:04 UTC 版)

「p進閉体」の記事における「一階の理論」の解説

p-進閉体に関する一階の理論は完全（英語版）かつモデル完全（英語版）であり、また少し言語を豊かにすれば量限定子消去（英語版）が許される。したがって、Qp の一階理論と初等同値（英語版） な一階理論を持つものとして p-進閉体を定義することができる。