Simple monadic theories and indiscernibles
Simple monadic theories and indiscernibles
复制标题
简单的一元理论和难以辨别的
DOI：
10.1002/malq.200910121
复制
发表时间：
2011
影响因子：
0.3
通讯作者：
Achim Blumensath
中科院分区：
文献类型：
--
作者：
Achim Blumensath
为了在一元二阶模型理论中的应用，我们研究了没有可定义配对函数的一阶理论。我们的主要结果涉及不可分辨序列的分叉性质。事实证明，对于正在考虑的理论来说，这些都是非常好的表现(©2011 Wiley-VCH Verlag GmbH&Co.KGaA，Weinheim)
Aiming for applications in monadic second‐order model theory, we study first‐order theories without definable pairing functions. Our main results concern forking‐properties of sequences of indiscernibles. These turn out to be very well‐behaved for the theories under consideration (© 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
登录
查看更多内容
影响因子：
0.8
作者：
Achim Blumensath
通讯作者：
Achim Blumensath
关于 dp-极小性、强依赖性和权重
DOI：
10.2178/jsl/1309952519
发表时间：
2011
期刊：
The Journal of Symbolic Logic
影响因子：
--
作者：
A. Onshuus
通讯作者：
A. Onshuus
顶点次数、一元二阶逻辑和 Seese 的猜想
DOI：
--
发表时间：
2007
期刊：
J. Comb. Theory B
影响因子：
--
作者：
B. Courcelle;Sang
通讯作者：
Sang
影响因子：
1
作者：
S. Shelah
通讯作者：
S. Shelah
一元逻辑：Hanf 数
影响因子：
0.6
作者：
S. Shelah
通讯作者：
S. Shelah