Hostname: page-component-cd9895bd7-hc48f Total loading time: 0 Render date: 2024-12-27T10:35:01.341Z Has data issue: false hasContentIssue false

WEAK SATURATION AND WEAK AMALGAMATION PROPERTY

Published online by Cambridge University Press:  04 July 2019

IVAN DI LIBERTI*
Affiliation:
DEPARTMENT OF MATHEMATICS AND STATISTICS MASARYK UNIVERSITY, FACULTY OF SCIENCES KOTLÁŘSKÁ 2, 611 37BRNO, CZECH REPUBLIC E-mail: [email protected]

Abstract

We study the two model-theoretic concepts of weak saturation and weak amalgamation property in the context of accessible categories. We relate these two concepts providing sufficient conditions for existence and uniqueness of weakly saturated objects of an accessible category ${\cal K}$. We discuss the implications of this fact in classical model theory.

Type
Articles
Copyright
Copyright © The Association for Symbolic Logic 2019 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Adamek, J. and Rosicky, J., Locally Presentable and Accessible Categories, London Mathematical Society Lecture Note Series, vol. 189, Cambridge University Press, Cambridge, 1994.Google Scholar
Ivanov, A. A., Generic expansions of ω-categorical structures and semantics of generalized quantifiers, this Journal, vol. 64 (1999), no. 2, pp. 775789.Google Scholar
Kechris, A. S. and Rosendal, C., Turbulence, amalgamation, and generic automorphisms of homogeneous structures. Proceedings of the London Mathematical Society, vol. 94 (2007), no. 2, pp. 302350.Google Scholar
Kubiś, W., Fraïssś sequences: Category-theoretic approach to universal homogeneous structures. Annals of Pure and Applied Logic, vol. 165 (2014), no. 11, pp. 17551811.Google Scholar
Kubiś, W., Weak Fraisse categories, preprint, 2017, arXiv:1712.03300.Google Scholar
Rosický, J., Accessible categories, saturation and categoricity, this Journal, vol. 62 (1997), no. 3, pp. 891901.Google Scholar