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)552-563
Seitenumfang12
FachzeitschriftThe journal of symbolic logic
Jahrgang90
Ausgabenummer2
Frühes Online-Datum23 Nov. 2023
PublikationsstatusVeröffentlicht - Juni 2025
Peer-Review-StatusJa

Externe IDs

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

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • complete discretely valued field, existential theory, undecidable