Valued Fields with<i>K</i>Commuting Derivations (Q3422853): Difference between revisions

@@ Property / cites work @@
+REAL CLOSED RINGS AND ORDERED VALUATION RING
@@ Property / cites work: REAL CLOSED RINGS AND ORDERED VALUATION RING / rank @@
+Normal rank
@@ Property / cites work @@
+Substructures and uniform elimination for p-adic fields
+Normal rank
@@ Property / cites work @@
+Real closed rings. II. Model theory
@@ Property / cites work: Real closed rings. II. Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5680222
@@ Property / cites work: Q5680222 / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination of quantifiers in algebraic structures
+Normal rank
@@ Property / cites work @@
+Embedding problems over large fields
@@ Property / cites work: Embedding problems over large fields / rank @@
+Normal rank
@@ Property / cites work @@
+Formally \(p\)-adic fields
@@ Property / cites work: Formally \(p\)-adic fields / rank @@
+Normal rank
@@ Property / cites work @@
+Complete theories
@@ Property / cites work: Complete theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5652669
@@ Property / cites work: Q5652669 / rank @@
+Normal rank
@@ Property / cites work @@
+A structure theorem for differential algebras
@@ Property / cites work: A structure theorem for differential algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The uniform companion for large differential fields of characteristic 0
+Normal rank