Algebraic Geometry over Heyting Algebras (Q5859227): Difference between revisions

@@ Property / cites work @@
+Algebraic geometry over groups. I: Algebraic sets and ideal theory
+Normal rank
@@ Property / cites work @@
+Unification theorems in algebraic geometry
@@ Property / cites work: Unification theorems in algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic geometry over algebraic structures. II: Foundations
+Normal rank
@@ Property / cites work @@
+Algebraic geometry over algebraic structures. III: Equationally Noetherian property and compactness
+Normal rank
@@ Property / cites work @@
+Algebraic geometry over algebraic structures. IV: Equational domains and codomains
+Normal rank
@@ Property / cites work @@
+Q3130249
@@ Property / cites work: Q3130249 / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski’s problem about the elementary theory of free groups has a positive solution
+Normal rank
@@ Property / cites work @@
+Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz
+Normal rank
@@ Property / cites work @@
+Elementary theory of free non-abelian groups.
@@ Property / cites work: Elementary theory of free non-abelian groups. / rank @@
+Normal rank
@@ Property / cites work @@
+EQUATIONS IN A FREE GROUP
@@ Property / cites work: EQUATIONS IN A FREE GROUP / rank @@
+Normal rank
@@ Property / cites work @@
+Compactness conditions in universal algebraic geometry
+Normal rank
@@ Property / cites work @@
+On the equational Artinian algebras
@@ Property / cites work: On the equational Artinian algebras / rank @@
+Normal rank
@@ Property / cites work @@
+ON SYSTEMS OF EQUATIONS IN A FREE GROUP
@@ Property / cites work: ON SYSTEMS OF EQUATIONS IN A FREE GROUP / rank @@
+Normal rank
@@ Property / cites work @@
+Direct products, varieties, and compactness conditions
+Normal rank
@@ Property / cites work @@
+Algebraic geometry over Boolean algebras in the language with constants
+Normal rank