Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2211.01775 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |