Prototypes for definable subsets of algebraically closed valued fields
From MaRDI portal
Publication:4382462
DOI10.2307/2275629zbMath0899.03027OpenAlexW2056558229MaRDI QIDQ4382462
Publication date: 10 November 1998
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275629
prototypeselimination of imaginariesalgebraically closed fields with a valuation in a many-sorted language
Related Items (3)
Interpretable fields in various valued fields ⋮ Canonical forests in directed families ⋮ Definable sets in algebraically closed valued fields: elimination of imaginaries
Cites Work
- Elimination of quantifiers in algebraic structures
- Cell decompositions of \(C\)-minimal structures
- On the elimination of imaginaries from certain valued fields
- Diophantine problems over local fields. III: Decidable fields
- Canonical forms for definable subsets of algebraically closed and real closed valued fields
This page was built for publication: Prototypes for definable subsets of algebraically closed valued fields