Two examples concerning existential undecidability in fields
P Dittmann - The Journal of Symbolic Logic, 2023 - cambridge.org
We construct an existentially undecidable complete discretely valued field of mixed
characteristic with existentially decidable residue field and decidable algebraic part …
characteristic with existentially decidable residue field and decidable algebraic part …
On groups and fields interpretable in differentially closed valued fields and in various fields
PZ Wang - arXiv preprint arXiv:2402.09143, 2024 - arxiv.org
This paper aims at developing model-theoretic tools to study interpretable fields and
definably amenable groups, mainly in $\mathrm {NIP} $ or $\mathrm {NTP_2} $ settings. An …
definably amenable groups, mainly in $\mathrm {NIP} $ or $\mathrm {NTP_2} $ settings. An …