solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看5472次
Homogenizable structures and model completeness. (arXiv:1601.07304v2 [math.LO] UPDATED)
来源于:arXiv
A homogenizable structure $\mathcal{M}$ is a structure where we may add a
finite amount of new relational symbols to represent some $\emptyset-$definable
relations in order to make the structure homogeneous. In this article we will
divide the homogenizable structures into different classes which categorize
many known examples and show what makes each class important. We will show that
model completeness is vital for the relation between a structure and the
amalgamation bases of its age and give a necessary and sufficient condition for
an $\omega-$categorical model-complete structure to be homogenizable. 查看全文>>