Homogenizable structures and model completeness
2016 (English)In: Archive for mathematical logic, ISSN 0933-5846, E-ISSN 1432-0665, Vol. 55, 977-995 p.Article in journal (Refereed) Published
A homogenizable structure M is a structure where we may add a finite amount of new relational symbols to represent some 0-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 countably categorical model-complete structure to be homogenizable.
Place, publisher, year, edition, pages
2016. Vol. 55, 977-995 p.
Homogenizable, Model-complete, Amalgamation class, Quantifier-elimination
Algebra and Logic
Research subject Mathematics
IdentifiersURN: urn:nbn:se:uu:diva-303714DOI: 10.1007/s00153-016-0507-6OAI: oai:DiVA.org:uu-303714DiVA: diva2:973821