首页/论文/math/9604244

arXiv math/96042441996-04-15math.LO

k -泛有限图

k --Universal Finite Graphs

Eric Rosen, Saharon Shelah, Scott Weinstein

发表信息：: DIMACS Ser. Discrete Math. Theoret. Comput. Sci., 33 (1997), 65-77

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文研究了在有限变量逻辑研究中自然产生的泛图类的局部模拟--k-泛有限图类。主要结果的文件，这是由于Shelah，建立类的k-泛图是不能定义的一个无限析取的一阶存在的句子与有限数量的变量，并存在k-泛图没有k-可扩展的诱导子图。

英文摘要：

This paper investigates the class of k-universal finite graphs, a local analog of the class of universal graphs, which arises naturally in the study of finite variable logics. The main results of the paper, which are due to Shelah, establish that the class of k-universal graphs is not definable by an infinite disjunction of first-order existential sentences with a finite number of variables and that there exist k-universal graphs with no k-extendible induced subgraphs.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

泛无桥图

Universal bridge-free graphs

证明了对于所有$n$，不存在可数泛$B_n$ -free图;对于$k\ge 2$，在省略所有长度至多为$2k$的圈的图类中，不存在可数泛图.

1994-09-06math.LO

关于无团或无大二部图的泛图

On universal graphs without cliques or withour large bipartite graphs

对于每个不可数基数$λ$，广义连续统假设的适当否定意味着：-对于所有的无限$α$和$β$，在$λ$中不存在泛$K_{α,β}$ -free图-对于所有的$α\ge 3$，在$λ$中不存在泛$K_α$ -free图$λ=\aleph_1$的实例$K_{ω,ω_1}$是由Komjath和Pach从原理$\diamondsuit(ω_1)$解决的.

1995-07-18math.LO

泛齐次无三角图的线图

The Line Graph of the Universal Homogeneous Triangle-free Graph

本文给出了无三角形图的线图的结构的一些结果，并给出了泛齐次无三角形图的线图在有限关系语言中的一个均匀化结果。这一结果与研究由禁止嵌入定义的结构的关系复杂性有关。

2021-08-26math.LO

不含完全二部图的图的普遍性

Universality among the graph omitting a complete bipartite graph

对于基数lambda，kappa，theta，我们考虑一类基数lambda的图，它没有子图是（kappa，theta）-完全二部图.问题是在这样一个类中是否有一个在（弱）嵌入下的泛类。我们在GCH下完全解决了这个问题。在与基数算术有关的各种假设下，我们证明了这个问题和一些相关问题的共相不存在。

2010-05-17math.LO

$\aleph_{ω+1}$上的小泛图族

Small universal families of graphs on $\aleph_{ω+1}$

证明了$\aleph_ω$是强极限、$2^{\aleph_ω}$是大极限和图在$\aleph_{ω+1}$上的普适数是小极限的一致性.证明使用Prikry强迫与交错折叠。

2014-08-19math.LO

具有禁止子图和代数闭包的泛图

Universal graphs with forbidden subgraphs and algebraic closure

本文利用模型论的方法研究了具有100多个禁止连通子图的可数泛图的存在性问题。我们表明，在很大程度上的问题减少到一个相关的"代数闭包"运营商的局部有限性。主要的应用是新的例子，泛图与禁止子图和简化处理一些以前已知的情况。

1998-09-15math.LO

更多相关论文收起更多论文

不可数正则基数上没有泛图

No universal graphs at uncountable regular cardinals

假设存在一个强基数，我们找到了一个ZFC模型，其中对于每个不可数正则基数$λ,$，不存在大小为$λ$的泛图。

2022-06-01math.LO

通用可数染色图

Universal countably chromatic graph

证明存在大小为ℵ₁的通用可数染色图且连续统假设不成立的一致性，通过强真ccc偏序集的力迫迭代完成，构造适用于任何正则基数κ对应的不可数后继基数κ⁺。

2025-11-10math.LO

$\aleph_{ω_1+1}$上的泛图

Universal graphs at $\aleph_{ω_1+1}$

从一个超紧基数出发，我们建立了一个模型，其中$2^{\aleph_{ω_1}}=2^{\aleph_{ω_1+1}}=\aleph_{ω_1+3}$，但在$\aleph_{ω_1+1}$上存在一个大小为$\aleph_{ω_1+2}$的联合泛图族.同样的技术将适用于任何不可数基数，而不是$ω_1$。

2016-05-02math.LO

强极限奇异与其幂之间的泛图

Universal graphs between a strong limit singular and its power

解决了一个泛图的存在性与其强极限奇异性及其幂的一致性问题。假设在$\mathbf{GCH}$模型中，$κ$是超紧的，基数$θ< κ$，$λ> κ$是正则的，作为一种更一般的方法的应用，我们得到了一个力迫扩张，其中奇异基数假设$\textrm{cf}(κ) = θ$在$κ$处失效，基数$λ\in (κ,2^κ)$存在泛图.

2022-01-03math.LO

奇异基数后继的泛图

Universal graphs at the successor of a singular cardinal

研究了共尾性aleph_0的强极限奇异μ的后继者上泛图的存在性。从超紧基数的存在性假设出发，建立了一个模型，其中对于某些超紧基数，存在mu^+上的mu^{++}图，它们联合起来对于mu^+上的图是泛图，而2^{mu^+}>> mu^{++} .本文还讨论了一般性的问题，获得一个框架的一致性结果在继承的奇异强极限从假设超紧基数Kappa存在。作为一种更一般方法的具体应用，得到了泛图存在性的结果。

2001-02-06math.LO

有限生成群是泛群

Finitely Generated Groups Are Universal

普适性是可计算结构理论中的一个重要概念。一个结构类$\mathcal{C}$是通用的，如果非正式地，对于任何类型的任何结构，在$\mathcal{C}$中有一个结构具有与给定结构相同的可计算性理论性质。许多类如图、群和域都是泛类。本文讨论了一类有限生成群。由于群生成的结构相对简单，所以有限生成群类不可能是普适的。我们证明了有限生成群是尽可能普遍的，因为它们是有限生成的：对于每个有限生成结构，存在一个具有相同可计算性理论性质的有限生成群。但这对于网络服务器生成的字段并非如此。我们将这一研究结果应用于拟斯科特句子。

2017-12-01math.LO

不含大团的泛图

Universal graphs without large cliques

本文给出了泛图的存在性和不存在性的几个条件，在GCH下，给出了无K（kappa）的λ泛图存在的一个充要条件，即如果kappa是有限的或cf（kappa）>cf（lambda）. (Here K（kappa）表示kappa顶点上的完全图。当lambda^{< kappa}= lambda时的特殊情况首先由F证明。高尔文接下来，我们研究的问题，如果没有普遍的K（kappa）-自由图的大小lambda，那么有多少这些图嵌入所有其他。众所周知，如果lambda^{< lambda}= lambda（例如，如果lambda是正则的，并且GCH在lambda以下成立），并且kappa = omega，那么这个数是lambda^+。我们证明了这对可数共尾性的每个kappa <= lambda都成立。另一方面，即使对于kappa = omega_1，以及任何规则的lambda >= omega_1，GCH在lambda之下成立是一致的，2^{lambda}是我们所希望的那样大，而上面的数是lambda^+或2^{lambda}，所以两个极端实际上都可能发生。

1993-08-15math.LO

具有禁止子树的泛图

Universal graphs with a forbidden subtree

我们表明，问题的存在与指定的禁止子图的通用图可以系统地减少到某些临界情况下，通过一个简单的修剪技术，简化了底层结构的禁止图，被视为树块。作为应用，我们刻画了树T的一个普遍可数T-自由图的存在。

2005-12-10math.COmath.LO

不可数图与泛可数图集上的不变测度

Uncountable Graphs and Invariant Measures on the Set of Universal Countable Graphs

我们给出了新的例子，并描述了可数齐次泛图和$K_s$ -自由齐次泛图（对于$s\geq 3$）的集合上的所有措施的完整列表，这些图相对于顶点的所有排列的组是不变的。这样的测量可以被认为是随机图（分别地，随机无$K_s$图）。随机图的Erdös-Rényi（ER）的著名例子对应于邻接矩阵集合上的Bernoulli测度。对于通用的$K_s$ -自由图的情况下，有没有以前已知的例子，不变测度的空间，这样的图。我们构造的主要思想是基于{ \it可测泛图}和{ \it拓扑泛图}的新概念，它们本身是有趣的。该构造的实现可以看作是对泛可测图的两步随机化：{ \it“顶点随机化”}和{ \it“边随机化”}。对于$K_s$ -free，$s\geq 3$，只有可测图的顶点是随机的.利用D. Aldous关于$S_{\infty}$ -不变矩阵的研究，我们用适当的方法将其重新表示.

2009-06-30math.COmath.LO

普适性与泛型及无$C_4$图

Universality vs Genericity and $C_4$-free graphs

我们证明了一个普遍结构的存在意味着存在一个通用结构的任何近似类$\mathcal{C}$的可数结构。我们还表明，反过来是不正确的。因此，我们提供了几个新的例子弱Fraïssé类的有限图。最后，我们证明了所有可数无$C_4$图的类不包含一般结构，加强了A. Hajnal和J. Pach。

2022-06-22math.COmath.LO

泛齐次无三角形图的拉姆齐理论第II部分：正合大Ramsey度

The Ramsey theory of the universal homogeneous triangle-free graph Part II: Exact big Ramsey degrees

建立在作者以前的工作，对于每一个有限的无三角形图$\mathbf{G}$，我们确定的等价关系的副本$\mathbf{G}$内的通用齐次无三角形图，$\mathcal{H}_3$，具有最小数量的等价类，使每一类坚持在每个同构的子副本$\mathcal{H}_3$。这是$\mathcal{H}_3$的精确大Ramsey度的特征。由此得出无三角形的Henson图是一个大的Ramsey结构。

2020-09-04math.COmath.LO

无限随机图的哪些子集看起来是随机的？

Which subsets of an infinite random graph look random?

给定一个可数图，如果它包含每个可数图作为导出子图，我们称它的顶点集$A$为\emph{universal};如果它包含每个有限图作为诱导子图，我们称它的顶点集$A$为\emph{weakly universal}.证明了对几乎所有的$\mathbb N$，$(1)$上的正上密度集是泛图，$(2)$上的倒数和发散集是弱泛图.我们证明了第二个结果是尖锐的（即，$\mathbb N$上的随机图几乎必然包含具有发散倒数和的非泛集），并且更一般地，这两个结果对于一大类划分正则族都不成立。

2017-02-22math.COmath.LO

图同态与普遍代数

Graph Homomorphisms and Universal Algebra

Institut für Algebra, TU Dresden（德累斯顿工业大学代数研究所）

课程探讨有限域约束满足问题的计算复杂性，重点介绍循环项和有界宽度定理，以图同态问题为切入点，分析多项式时间可解与NP难之间的边界。

2026-09-15cs.CCcs.DMmath.LO