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...

Access Document

Files:
• (Archive version, 529.1KB)

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