Simple monadic theories and partition width
Simple monadic theories and partition width
复制标题
简单的一元理论和分区宽度
DOI：
10.1002/malq.201010019
复制
发表时间：
2011
影响因子：
0.3
通讯作者：
Achim Blumensath
中科院分区：
文献类型：
--
作者：
Achim Blumensath
我们研究理论模型的树状分解和称为分区宽度的相关复杂性度量。我们证明了关于分区宽度和可定义配对函数的二分法：要么模型的分区宽度是有界的，要么理论承认可定义的配对函数。我们的证明依赖于关于不可辨别序列和有限可满足理论类型的结构结果，而没有可定义的配对函数。 © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA，魏因海姆
We study tree‐like decompositions of models of a theory and a related complexity measure called partition width. We prove a dichotomy concerning partition width and definable pairing functions: either the partition width of models is bounded, or the theory admits definable pairing functions. Our proof rests on structure results concerning indiscernible sequences and finitely satisfiable types for theories without definable pairing functions. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim
登录
查看更多内容
影响因子：
0.8
作者：
Achim Blumensath
通讯作者：
Achim Blumensath
DOI：
10.1007/3-540-36387-4_16
发表时间：
2001
影响因子：
1.2
作者：
Dietmar Berwanger;Achim Blumensath
通讯作者：
Achim Blumensath
树状结构上的一元二阶逻辑
DOI：
10.1016/s0304-3975(01)00185-2
发表时间：
2002
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
I. Walukiewicz
通讯作者：
I. Walukiewicz
顶点次数、一元二阶逻辑和 Seese 的猜想
DOI：
--
发表时间：
2007
期刊：
J. Comb. Theory B
影响因子：
--
作者：
B. Courcelle;Sang
通讯作者：
Sang
一元逻辑和勒文海姆数
影响因子：
0.8
作者：
S. Shelah
通讯作者：
S. Shelah