Authors: ŞERMİN ÇAM ÇELİK, HAYDAR GÖRAL
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.
Keywords: Model theory, number fields, divisible groups
Full Text: PDF