Two examples concerning existential undecidability in fields

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Beitragende

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

OriginalspracheEnglisch
Seiten (von - bis)1-10
Seitenumfang12
FachzeitschriftThe journal of symbolic logic
Jahrgang2023
PublikationsstatusVeröffentlicht - 23 Nov. 2023
Peer-Review-StatusJa

Externe IDs

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

Schlagworte