Hrushovski's Geometries
Hrushovski's Geometries
复制标题
赫鲁索夫斯基的几何
DOI：
10.1007/s11856-007-0077-8
复制
发表时间：
1989
影响因子：
1
通讯作者：
John B. Goode
中科院分区：
文献类型：
--
作者：
John B. Goode
本文给出了Shelah-Spencer的稀疏随机图G（n，n-α）的几乎必然理论的AE-公理化.在这个过程中，我们给出了一种方法，其“相对维数”是负的，但任意小的图的扩张。我们描述的存在封闭和局部有限模型的理论和生产类型的零维。我们提供了一个有用的特性，分叉和推广结果的稳定性和维序属性（DOP），已知的图形任意关系语言。
We give an explicit AE-axiomatization of the almost sure theories of sparse random graphsG(n, n−α) of Shelah-Spencer. In the process we give a method of constructing extensions of graphs whose ‘relative dimension’ is negative, but arbitrarily small. We describe the existentially closed and locally finite models of the theory and produce types of dimension zero. We offer a useful characterization of forking and generalize results about stability and the Dimensional Order Property (DOP) that were known for graphs to arbitrary relational languages.