ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS (Q4909150): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0573
@@ Property / arXiv ID: 1108.0573 / rank @@
+Normal rank
@@ Property / cites work @@
+Polyadic and cylindric algebras of sentences
@@ Property / cites work: Polyadic and cylindric algebras of sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic geometry over groups. I: Algebraic sets and ideal theory
+Normal rank
@@ Property / cites work @@
+Q4401417
@@ Property / cites work: Q4401417 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic geometry over algebraic structures. IV: Equational domains and codomains
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Update to ``A survey of abstract algebraic logic''
+Normal rank
@@ Property / cites work @@
+Q3282928
@@ Property / cites work: Q3282928 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras with a Scheme of Operators
@@ Property / cites work: Algebras with a Scheme of Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz
+Normal rank
@@ Property / cites work @@
+Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
+Normal rank
@@ Property / cites work @@
+Implicit function theorem over free groups.
@@ Property / cites work: Implicit function theorem over free groups. / rank @@
+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 @@
+Algebraic geometry over groups. III: Elements of model theory.
+Normal rank
@@ Property / cites work @@
+A Course in Mathematical Logic for Mathematicians
@@ Property / cites work: A Course in Mathematical Logic for Mathematicians / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic geometry over groups. II: Logical foundations
+Normal rank
@@ Property / cites work @@
+Homogeneity and prime models in torsion-free hyperbolic groups.
+Normal rank
@@ Property / cites work @@
+Homogeneity in the free group.
@@ Property / cites work: Homogeneity in the free group. / rank @@
+Normal rank
@@ Property / cites work @@
+SOME RESULTS AND PROBLEMS RELATED TO UNIVERSAL ALGEBRAIC GEOMETRY
+Normal rank
@@ Property / cites work @@
+Automorphisms of categories of free algebras of some varieties
+Normal rank
@@ Property / cites work @@
+ON AUTOMORPHISMS OF CATEGORIES OF UNIVERSAL ALGEBRAS
+Normal rank
@@ Property / cites work @@
+Cyclic splittings of finitely presented groups and the canonical JSJ deccomposition
+Normal rank
@@ Property / cites work @@
+Diophantine geometry over groups. I: Makanin-Razborov diagrams
+Normal rank
@@ Property / cites work @@
+Diophantine geometry over groups. II: Completions, closures and formal solutions
+Normal rank
@@ Property / cites work @@
+Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
+Normal rank
@@ Property / cites work @@
+Diophantine geometry over groups. III: Rigid and solid solutions.
+Normal rank
@@ Property / cites work @@
+Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
+Normal rank