Thesis icon

Thesis

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

Abstract:

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 elimination process into five embedding stages. We constructed four of the embeddings, up to the subextension field whose residue field is algebraically closed. For the last stage, some possible approaches are discussed.

Actions


Access Document


Files:

Authors


More by this author
Division:
MPLS
Department:
Mathematical Institute
Department:
University of Oxford
Role:
Author

Contributors

Department:
University of Oxford
Role:
Supervisor
Department:
University of Central Lancashire
Role:
Examiner
Department:
University of Oxford
Role:
Examiner
Type of award:
MSc by Research
Level of award:
Masters
Awarding institution:
University of Oxford
UUID:
uuid:ef406417-bd3c-4a8e-99ba-3100ad6bc804
Deposit date:
2018-11-26

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP