Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 995

Preprint Number 995

Previous Next Preprint server

995. Ove Ahlman
Homogenizable structures and model completeness

Submission date: 27 January 2016


A homogenizable structure M is a structure where we may add a finite amount of new relational symbols to represent some ∅-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 ω-categorical model-complete structure to be homogenizable.

Mathematics Subject Classification: 03C10, 03C50, 03C52

Keywords and phrases:

Full text arXiv 1601.07304: pdf, ps.

Last updated: January 29 2016 12:50 Please send your corrections to: