Two examples concerning existential undecidability in fields

Research output: Contribution to journalResearch articleContributedpeer-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 languageEnglish
Pages (from-to)1-10
Number of pages12
JournalThe journal of symbolic logic
Volume2023
Publication statusPublished - 23 Nov 2023
Peer-reviewedYes

External IDs

Mendeley 5908dc1b-3373-3324-944f-a218a4e49ee9
Scopus 85178181932

Keywords