Amalgamation and Elimination of Quantifiers for Theories of Fields (Q3877658): Difference between revisions

@@ Property / cites work @@
+Amalgamation properties and interpolation theorems for equational theories
+Normal rank
@@ Property / cites work @@
+Model theoretic algebra. Selected topics
@@ Property / cites work: Model theoretic algebra. Selected topics / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing, arithmetic, division rings
@@ Property / cites work: Forcing, arithmetic, division rings / rank @@
+Normal rank
@@ Property / cites work @@
+On $ω_1$-categorical theories of fields
@@ Property / cites work: On $ω_1$-categorical theories of fields / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination of quantifiers in algebraic structures
+Normal rank
@@ Property / cites work @@
+Corrigendum: “Rings which admit elimination of quantifiers”
+Normal rank
@@ Property / cites work @@
+Q5652669
@@ Property / cites work: Q5652669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamation and Elimination of Quantifiers for Theories of Fields
+Normal rank