Computable model theory investigates the algorithmic aspects of model theoretic structures, aiming to delineate the boundaries between the computable and non-computable within various algebraic and ...

This is a preview. Log in through your library . Abstract In previous papers the author has studied the shape of compact connected abelian topological groups. This study has led to a number of ...

We show that two abelian-by-finite groups are elementarily equivalent if and only if they satisfy the same sentences with two alternations of quantifiers. We also prove that abelian-by-finite groups ...