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...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展开更多
文摘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