Two examples concerning existential undecidability in fields
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2022
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866913941299396608 |
|---|---|
| author | Dittmann, Philip |
| author_facet | Dittmann, Philip |
| contents | We construct an existentially undecidable complete discretely valued field of mixed characteristic with existentially decidable residue field and decidable algebraic part, answering a question by Anscombe-Fehm in a strong way. Along the way, we construct an existentially decidable field of positive characteristic with an existentially undecidable finite extension, modifying a construction due to Kesavan Thanagopal. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2211_01775 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Two examples concerning existential undecidability in fields Dittmann, Philip Logic 12L05, 03C60 We construct an existentially undecidable complete discretely valued field of mixed characteristic with existentially decidable residue field and decidable algebraic part, answering a question by Anscombe-Fehm in a strong way. Along the way, we construct an existentially decidable field of positive characteristic with an existentially undecidable finite extension, modifying a construction due to Kesavan Thanagopal. |
| title | Two examples concerning existential undecidability in fields |
| topic | Logic 12L05, 03C60 |
| url | https://arxiv.org/abs/2211.01775 |