Thesis icon

Thesis

Decidability in extensions of Fp((t))

Abstract:

In this thesis we primarily consider the first-order theory of the local field F_p((t)) and the question of whether it is decidable. To this end we expand the language of valued fields together with a constant symbol for t by adding predicates R_f representing the existence of a root of the multivariable polynomial f \in F_p(t)[X_1, ..., X_n], hoping in this way to control the behaviour of purely wild extensions of valued fields (which has historically caused problems in this area), and se...

Expand abstract

Actions


Access Document


Files:

Authors


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

Contributors

Division:
MPLS
Department:
Mathematical Institute
Role:
Supervisor
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
University of Oxford
Language:
English
Keywords:
Subjects:
Deposit date:
2021-10-21

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