Definable sets in algebraically closed valued fields: elimination of imaginaries (Q3413792): Difference between revisions

@@ Property / cites work @@
+Model theory of difference fields
@@ Property / cites work: Model theory of difference fields / rank @@
+Normal rank
@@ Property / cites work @@
+Cell decompositions of \(C\)-minimal structures
@@ Property / cites work: Cell decompositions of \(C\)-minimal structures / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical forms for definable subsets of algebraically closed and real closed valued fields
+Normal rank
@@ Property / cites work @@
+Prototypes for definable subsets of algebraically closed valued fields
+Normal rank
@@ Property / cites work @@
+Strongly determined types
@@ Property / cites work: Strongly determined types / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination of quantifiers in algebraic structures
+Normal rank
@@ Property / cites work @@
+On variants of \(o\)-minimality
@@ Property / cites work: On variants of \(o\)-minimality / rank @@
+Normal rank