Decidability in extensions of Fp((t))
<p>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...
| Glavni avtor: | |
|---|---|
| Drugi avtorji: | |
| Format: | Thesis |
| Jezik: | English |
| Izdano: |
2021
|
| Teme: |