WEAK SATURATION AND WEAK AMALGAMATION PROPERTY

被引:4
作者
Di Liberti, Ivan [1 ]
机构
[1] Masaryk Univ, Dept Math & Stat, Fac Sci, Kotlarska 2, Brno 61137, Czech Republic
关键词
Fraisse classes; accessible categories; categorical model theory; weak amalgamation property; weak saturation;
D O I
10.1017/jsl.2019.45
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
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 K. We discuss the implications of this fact in classical model theory.
引用
收藏
页码:929 / 936
页数:8
相关论文
共 6 条
[1]  
Adamek J., 1994, London Math. Society Lecture Note Series189
[2]   Generic expansions of ω-categorical structures and semantics of generalized quantifiers [J].
Ivanov, AA .
JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (02) :775-789
[3]   Turbulence, amalgamation, and generic automorphisms of homogeneous structures [J].
Kechris, Alexander S. ;
Rosendal, Christian .
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2007, 94 :302-350
[4]  
Kubis W., 2017, ARXIV171203300
[5]   Fraisse sequences: category-theoretic approach to universal homogeneous structures [J].
Kubis, Wieslaw .
ANNALS OF PURE AND APPLIED LOGIC, 2014, 165 (11) :1755-1811
[6]   Accessible categories, saturation and categoricity [J].
Rosicky, J .
JOURNAL OF SYMBOLIC LOGIC, 1997, 62 (03) :891-901