摘要
Model theory is usually regarded as an abstract branch of mathematical logic. The aim of our work is to find some new examples of application of conclusions on model theory. Considering a certain type of residue class rings of the ring of integers and, of the rings of quadratic integers, and applying the compactness theorem of model theory, we can prove the
