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...
| Үндсэн зохиолч: | |
|---|---|
| Бусад зохиолчид: | |
| Формат: | Дипломын ажил |
| Хэвлэсэн: |
2018
|