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) | 1-10 |
Number of pages | 12 |
Journal | The journal of symbolic logic |
Volume | 2023 |
Publication status | Published - 23 Nov 2023 |
Peer-reviewed | Yes |
External IDs
Mendeley | 5908dc1b-3373-3324-944f-a218a4e49ee9 |
---|---|
Scopus | 85178181932 |