当前位置: X-MOL 学术Math. Logic Q. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Evolving Shelah-Spencer graphs
Mathematical Logic Quarterly ( IF 0.4 ) Pub Date : 2021-05-21 , DOI: 10.1002/malq.201900053
Richard Elwes 1
Affiliation  

We define an evolving Shelah-Spencer process as one by which a random graph grows, with at each time τ N a new node incorporated and attached to each previous node with probability τ α , where α ( 0 , 1 ) Q is fixed. We analyse the graphs that result from this process, including the infinite limit, in comparison to Shelah-Spencer sparse random graphs discussed in [21] and throughout the model-theoretic literature. The first order axiomatisation for classical Shelah-Spencer graphs comprises a Generic Extension axiom scheme and a No Dense Subgraphs axiom scheme. We show that in our context Generic Extension continues to hold. While No Dense Subgraphs fails, a weaker Few Rigid Subgraphs property holds.

中文翻译:

进化的 Shelah-Spencer 图

我们将不断发展的 Shelah-Spencer 过程定义为随机图增长的过程,每次 τ N 一个新节点以概率合并并附加到每个先前的节点 τ - α , 在哪里 α ( 0 , 1 ) 是固定的。与 [21] 和整个模型理论文献中讨论的 Shelah-Spencer 稀疏随机图相比,我们分析了由该过程产生的图,包括无限极限。经典 Shelah-Spencer 图的一阶公理化包括通用扩展公理方案和无密集子图公理方案。我们表明,在我们的上下文中,通用扩展继续成立。虽然No Dense Subgraphs失败了,但较弱的Three Rigid Subgraphs属性仍然成立。
更新日期:2021-06-15
down
wechat
bug