Theories with few non-algebraic types over models, and their decompositions
Theories with few non-algebraic types over models, and their decompositions
复制标题
模型上很少有非代数类型的理论及其分解
DOI：
10.1090/proc/15956
复制
发表时间：
2022
影响因子：
1
通讯作者：
Laskowski, Michael
中科院分区：
文献类型：
--
作者：
Braunfeld, Samuel;Laskowski, Michael
我们考虑几种方式分解模型成部分的有界大小形成一个同余的基础上，并表明，承认任何这样的分解是等价于相互代数的理论水平。我们还表明，一个theoryis互代数的当且仅当有一个统一的约束的数量上的坐标明智的非代数类型在每个模型，无论其基数。引用
We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a theoryis mutually algebraic if and only if there is a uniform bound on the number of coordinate-wise non-algebraic types over every model, regardless of its cardinality. References
登录
查看更多内容
完整理论的最坏情况扩展
DOI：
10.2140/mt.2022.1.15
发表时间：
2022
期刊：
Model Theory
影响因子：
--
作者：
Braunfeld, Samuel;Laskowski, Michael C.
通讯作者：
Laskowski, Michael C.
一元 NIP 的特征
DOI：
10.1090/btran/94
发表时间：
2021
期刊：
Series B
影响因子：
--
作者：
Braunfeld, Samuel;Laskowski, Michael
通讯作者：
Laskowski, Michael
影响因子：
0.7
作者：
Laskowski, Michael C.;Terry, Caroline A.
通讯作者：
Terry, Caroline A.
DOI：
10.1305/ndjfl/1093870870
发表时间：
1985
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
J. Baldwin;S. Shelah
通讯作者：
S. Shelah
关于正则类型的存在性
DOI：
10.1016/0168-0072(89)90039-0
发表时间：
1989
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
S. Shelah;S. Buechler
通讯作者：
S. Buechler