Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ (Q6134890): Difference between revisions

@@ Property / cites work @@
+Distality in valued fields and related structures
@@ Property / cites work: Distality in valued fields and related structures / rank @@
+Normal rank
@@ Property / cites work @@
+Asymptotic Differential Algebra and Model Theory of Transseries
+Normal rank
@@ Property / cites work @@
+Relative elimination of quantifiers for Henselian valued fields
+Normal rank
@@ Property / cites work @@
+Presburger sets and p-minimal fields
@@ Property / cites work: Presburger sets and p-minimal fields / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination in ordered abelian groups
@@ Property / cites work: Quantifier elimination in ordered abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Hensel minimality I
@@ Property / cites work: Hensel minimality I / rank @@
+Normal rank
@@ Property / cites work @@
+Residue field domination in real closed valued fields
+Normal rank
@@ Property / cites work @@
+Relative decidability and definability in henselian valued fields
+Normal rank
@@ Property / cites work @@
+The Theory of Ordered Abelian Groups does not have the Independence Property
+Normal rank
@@ Property / cites work @@
+Definable sets in algebraically closed valued fields: elimination of imaginaries
+Normal rank
@@ Property / cites work @@
+Imaginaries in separably closed valued fields
@@ Property / cites work: Imaginaries in separably closed valued fields / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical forms for definable subsets of algebraically closed and real closed valued fields
+Normal rank
@@ Property / cites work @@
+Q2911318
@@ Property / cites work: Q2911318 / rank @@
+Normal rank
@@ Property / cites work @@
+Imaginaries and definable types in algebraically closed valued fields
+Normal rank
@@ Property / cites work @@
+Definable equivalence relations and zeta functions of groups. With an appendix by Raf Cluckers
+Normal rank
@@ Property / cites work @@
+Valued fields, metastable groups
@@ Property / cites work: Valued fields, metastable groups / rank @@
+Normal rank
@@ Property / cites work @@
+DP-MINIMAL VALUED FIELDS
@@ Property / cites work: DP-MINIMAL VALUED FIELDS / rank @@
+Normal rank
@@ Property / cites work @@
+On the proof of elimination of imaginaries in algebraically closed valued fields
+Normal rank
@@ Property / cites work @@
+Modules Over Dedekind Rings and Valuation Rings
@@ Property / cites work: Modules Over Dedekind Rings and Valuation Rings / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
+Normal rank
@@ Property / cites work @@
+Imaginaries in real closed valued fields
@@ Property / cites work: Imaginaries in real closed valued fields / rank @@
+Normal rank
@@ Property / cites work @@
+On the angular component map modulo <i>P</i>
@@ Property / cites work: On the angular component map modulo <i>P</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Une théorie de Galois imaginaire
@@ Property / cites work: Une théorie de Galois imaginaire / rank @@
+Normal rank
@@ Property / cites work @@
+Imaginaries and invariant types in existentially closed valued differential fields
+Normal rank
@@ Property / cites work @@
+Complete theories
@@ Property / cites work: Complete theories / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary Properties of Ordered Abelian Groups
@@ Property / cites work: Elementary Properties of Ordered Abelian Groups / rank @@
+Normal rank
@@ Property / cites work @@
+A Guide to NIP Theories
@@ Property / cites work: A Guide to NIP Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Model Theory of Valued Fields
@@ Property / cites work: Lectures on the Model Theory of Valued Fields / rank @@
+Normal rank
@@ Property / cites work @@
+ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK
+Normal rank
@@ Property / cites work @@
+Q3964534
@@ Property / cites work: Q3964534 / rank @@
+Normal rank