Two examples concerning existential undecidability in fields
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
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
| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 552-563 |
| Seitenumfang | 12 |
| Fachzeitschrift | The journal of symbolic logic |
| Jahrgang | 90 |
| Ausgabenummer | 2 |
| Frühes Online-Datum | 23 Nov. 2023 |
| Publikationsstatus | Veröffentlicht - Juni 2025 |
| Peer-Review-Status | Ja |
Externe IDs
| Mendeley | 5908dc1b-3373-3324-944f-a218a4e49ee9 |
|---|---|
| Scopus | 85178181932 |
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- complete discretely valued field, existential theory, undecidable