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 |
Формат: | Дипломын ажил |
Хэвлэсэн: |
2018
|
Ижил төстэй зүйлс
Ижил төстэй зүйлс
-
Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields
-н: Derakhshan, J, зэрэг
Хэвлэсэн: (2016) -
P-adic numbers, P-adic analysis and zeta-functions /
-н: 465056 Koblitz, Neal
Хэвлэсэн: (1977) -
On the decidability of finite extensions of decidable fields
-н: Thanagopal, K
Хэвлэсэн: (2018) -
On dynamical systems induced by p-adic number fields
-н: Ilwoo Cho
Хэвлэсэн: (2015-01-01) -
P-adic numbers and their functions /
-н: 354825 Mahler, Kurt
Хэвлэсэн: (1981)