Two examples concerning existential undecidability in fields
Research output: Contribution to journal › Research article › Contributed › peer-review
Contributors
Abstract
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.
Details
| Original language | English |
|---|---|
| Pages (from-to) | 552-563 |
| Number of pages | 12 |
| Journal | The journal of symbolic logic |
| Volume | 90 |
| Issue number | 2 |
| Early online date | 23 Nov 2023 |
| Publication status | Published - Jun 2025 |
| Peer-reviewed | Yes |
External IDs
| Mendeley | 5908dc1b-3373-3324-944f-a218a4e49ee9 |
|---|---|
| Scopus | 85178181932 |
Keywords
ASJC Scopus subject areas
Keywords
- complete discretely valued field, existential theory, undecidable