Number fields and divisible groups via model theory

Abstract

In this note, we first show that solutions of certain equations classify the number fields lying in imaginary quadratic number fields. Then, we study divisible groups with a predicate. We show that these structures are not simple and have the independence property under some natural assumptions.