COUNTABLE MODELS OF THE THEORIES OF BALDWIN–SHI HYPERGRAPHS AND THEIR REGULAR TYPES
COUNTABLE MODELS OF THE THEORIES OF BALDWIN–SHI HYPERGRAPHS AND THEIR REGULAR TYPES
复制标题
鲍德温·希超图理论的可数模型及其正则类型
DOI：
10.1017/jsl.2019.28
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
GUNATILLEKA, DANUL K.
中科院分区：
文献类型：
--
作者：
GUNATILLEKA, DANUL K.
我们继续研究文[5]中的Baldwin-Shi超图理论。限制我们的注意力，当秩δ是合理的值，我们表明，每个可数模型的理论，一个给定的Baldwin-Shi超图是同构的一般结构，从一些合适的子类的原始类中使用的建设。我们引入了一个模型的尺寸的概念，并表明有一个基本链。我们还研究了这些理论中出现的正则类型，并证明了模型的维数是由特定的正则类型决定的。此外，利用大量的工作，我们使用这些结构给出了一个具有非局部模正则类型的伪有限ω-稳定理论的例子，回答了Pillay在[11]中的一个问题。
We continue the study of the theories of Baldwin–Shi hypergraphs from [5]. Restricting our attention to when the rank δ is rational valued, we show that each countable model of the theory of a given Baldwin–Shi hypergraph is isomorphic to a generic structure built from some suitable subclass of the original class used in the construction. We introduce a notion of dimension for a model and show that there is a an elementary chain . We also study the regular types that appear in these theories and show that the dimension of a model is determined by a particular regular type. Further, drawing on a large body of work, we use these structures to give an example of a pseudofinite, ω-stable theory with a nonlocally modular regular type, answering a question of Pillay in [11].
登录
查看更多内容
通用结构中的 DOP 和 FCP
DOI：
--
发表时间：
1996
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
J. Baldwin;S. Shelah
通讯作者：
S. Shelah
影响因子：
0.3
作者：
Gunatilleka, Danul K.
通讯作者：
Gunatilleka, Danul K.
DOI：
--
发表时间：
1994
期刊：
影响因子：
--
作者：
F. Wagner
通讯作者：
F. Wagner
Shelah-Spencer 几乎确定理论的更简单公理化
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
M. Laskowski
通讯作者：
M. Laskowski
论 Shelah-Spencer 图的有理极限
DOI：
--
发表时间：
2012
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
Justin D. Brody;M. Laskowski
通讯作者：
M. Laskowski