Equivariant Zariski Structures

A new class of noncommutative $k$-algebras (for $k$ an algebraically closed field) is defined and shown to contain some important examples of quantum groups. To each such algebra, a first order theory is assigned describing models of a suitable corresponding geometric space. Model-theoretic results for these geometric structures are established (uncountable categoricity, quantifier elimination to the level of existential formulas) and that an appropriate dimension theory exists, making them Zariski structures.