We define the interpolative fusion T∪∗ of a family i∈I of first-order theories over a common reduct T∩, a notion that generalizes many examples of random or generic structures in the model-theo...

We have provided a model-theoretic proof for the decidability of the additive structure of integers together with the function f mapping x to $$\lfloor \varphi x\rfloor $$ where $$\varphi $$ is the golden ratio.

We consider structures of the form (Z;+,C), where C is an additive cyclic order on (Z;+). We show that such structures are dp-minimal and in this way produce a continuum-size family of dp-minimal expansions of (Z;+) such that no two members of the family define the same subsets of Z.