On the decidability of the field of maximal abelian extension of p-adic numbers

<p>In this project we investigate some approaches attacking the question of whether the theory of the maximal abelian extension of the p-adic numbers is decidable. A list of axioms is presented whose completeness we aim to show via quantifier elimination. We separated the quantifier eliminatio...

全面介紹

書目詳細資料
主要作者: Wang, C
其他作者: Koenigsmann, J
格式: Thesis
出版: 2018

相似書籍