Prototypes for definable subsets of algebraically closed valued fields (Q4382462)
From MaRDI portal
scientific article; zbMATH DE number 1130642
Language | Label | Description | Also known as |
---|---|---|---|
English | Prototypes for definable subsets of algebraically closed valued fields |
scientific article; zbMATH DE number 1130642 |
Statements
Prototypes for definable subsets of algebraically closed valued fields (English)
0 references
10 November 1998
0 references
elimination of imaginaries
0 references
algebraically closed fields with a valuation in a many-sorted language
0 references
prototypes
0 references