Abstract
A homogenizable structure \(\mathcal {M}\) is a structure where we may add a finite number 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.
Article PDF
Similar content being viewed by others
References
Ahlman, O.: \(\ge k\)– Homogeneous infinite graphs. arXiv:1601.07307
Ahlman, O., Koponen, V.: Limit laws and automorphism groups of random non-rigid structures. J. Log. Anal. 7(2), 1–53 (2015)
Ahlman, O., Koponen, V.: Random l-colourable structures with a pregeometry, arXiv:1207.4936, Accepted for publication in Mathematical Logic Quarterly
Bodirsky, M., Bradley-Williams, D., Pinsker, M., Pongracz, A.: The universal homogeneous binary tree, arXiv:1409.2170
Cherlin, G.: On the relational complexity of a finite permutation group. J. Algebr. Comb. 43, 339 (2016)
Covington, J.: Homogenizable relational structures. Ill. J. Math. 34(4), 731–743 (1990)
Covington, J.: A universal structure for N-free graphs. Proc. Lond. Math. Soc. 58, 1–16 (1989)
Fraïssé, R.: Sur certaines relations qui généralisent lorder des nombres rationnels. C. R. Acad. Sci. Paris 237, 540–542 (1953)
Hartman, D., Hubička, J., Nešetřil, J.: Complexities of relational structures. Math. Slovaca 65(2), 229–246 (2015)
Hodges, W.: Model Theory. Cambridge University Press, Cambridge (1993)
Kolaitis, P.G., Prömel, H.J., Rothschild, B.L.: \(K_{l+1}\)-free graphs: asymptotic structure and a 0–1 law. Trans. Am. Math. Soc. 303, 637–671 (1987)
Macpherson, D.: A survey of homogeneous structures. Discrete Math. 311, 1599–1634 (2011)
Saracino, D.: Model companions for \(\aleph _0-\)categorical theories. Proc. Am. Math. Soc. 39, 591–598 (1973)
Tent, K., Ziegler, M.: A Course in Model Theory. Cambridge university press, Cambridge (2012)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ahlman, O. Homogenizable structures and model completeness. Arch. Math. Logic 55, 977–995 (2016). https://doi.org/10.1007/s00153-016-0507-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-016-0507-6