Algebraic geometry over algebraic structures. III: Equationally Noetherian property and compactness
From MaRDI portal
Publication:655638
zbMath1240.08002arXiv1002.4243MaRDI QIDQ655638
Publication date: 27 January 2012
Published in: Southeast Asian Bulletin of Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1002.4243
Equational logic, Mal'tsev conditions (08B05) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Equational compactness (08A45) Foundations of algebraic geometry (14A99)
Related Items (36)
Algebraic geometry over algebraic structures. VIII: Geometric equivalences and special classes of algebraic structures ⋮ On elementary and geometric equivalence of equational co-domains ⋮ Compactness conditions in universal algebraic geometry ⋮ Universal algebraic geometry with relation \(\neq\) ⋮ Unnamed Item ⋮ Automorphisms of the category of free finitely generated algebras ⋮ Strongly algebraically closed orthomodular near semirings ⋮ Strongly algebraically closed Cevian lattices ⋮ Direct products, varieties, and compactness conditions ⋮ Topologizability of countable equationally Noetherian algebras ⋮ Universal algebraic geometry: syntax and semantics ⋮ On algebraic-geometric and universal theories of abelian groups ⋮ Algebraic geometry over algebraic structures. II: Foundations ⋮ Universal geometrical equivalence of the algebraic structures of common signature ⋮ On the geometric equivalence of algebras ⋮ Algebraic geometry over algebraic structures. VI: Geometrical equivalence ⋮ Algebraic geometry over algebraic structures X: Ordinal dimension ⋮ On the generic existential theory of finite graphs ⋮ Dimension in universal algebraic geometry. ⋮ DECIDABILITY OF THE RESTRICTED THEORIES OF A CLASS OF PARTIAL ORDERS ⋮ ON COMPLEXITY OF THE EXISTENTIAL AND UNIVERSAL THEORIES OF FINITE FIELDS ⋮ ON GENERIC COMPLEXITY OF THE EXISTENTIAL THEORIES ⋮ A clonoid based approach to some finiteness results in universal algebraic geometry ⋮ Algebraic geometry for \(\ell \)-groups ⋮ Logic in representations of groups ⋮ Algebraic geometry over algebraic structures. V: The case of arbitrary signature ⋮ Algebraic geometry over algebraic structures. IX: Principal universal classes and dis-limits ⋮ Algebraic geometry over Boolean algebras in the language with constants ⋮ Canonical and algebraically closed groups in universal classes of abelian groups ⋮ Generic undecidability of universal theories ⋮ Algebraic Sets with Fully Characteristic Radicals ⋮ Strongly Algebraically Closed Lattices in ℓ-groups and Semilattices ⋮ Method of verbal operations and automorphisms of the category of free algebras ⋮ Algebraic Geometry over Heyting Algebras ⋮ On the Equationally Artinian Groups ⋮ Direct powers of algebraic structures and equations
This page was built for publication: Algebraic geometry over algebraic structures. III: Equationally Noetherian property and compactness