Completeness in Zariski groups

Zariski groups are ℵ₀-stable groups with an axiomatically given Zariski topology and thus abstract generalizations of algebraic groups. A large part of algebraic geometry can be developed for Zariski groups. As a main result, any simple smooth Zariski group interprets an algebraically closed field, hence is almost an algebraic group over an algebraically closed field.