首页/论文/math/9305206

arXiv math/93052061993-05-15math.LOmath.GN

形式为omega^*->（Y）^1_2的拓扑配分关系

Topological partition relations to the form omega^*-> (Y)^1_2

W. Wistar Comfort, Akio Kato, Saharon Shelah

发表信息：: Ann. New York Acad. Sci. 704 (1993), 70--80
DOI：: 10.1111/j.1749-6632.1993.tb52510.x

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

定理：拓扑配分关系omega^{*}->（Y）^{1}_{2}（a）对每个空间Y都不成立，且|Y| >= 2 ^c;（b）对Y离散成立当且仅当|Y| <= c;（c）对某些非离散P-空间Y成立;（d）对Y= omega cup {p}不成立，且p在omega^{*}中;（e）对Y无限且可数紧不成立。

英文摘要：

Theorem: The topological partition relation omega^{*}-> (Y)^{1}_{2} (a) fails for every space Y with |Y| >= 2^c ; (b) holds for Y discrete if and only if |Y| <= c; (c) holds for certain non-discrete P-spaces Y ; (d) fails for Y= omega cup {p} with p in omega^{*} ; (e) fails for Y infinite and countably compact.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

ω-1 ^2可测着色的一些配分性质

Some partition properties for measurable colourings of omega-one^2

我们在测度代数的力迫扩张中构造了一个关于Ω 1 ^2的测度，并研究了Ω 1 ^2的某些可测着色的测度论性质何时蕴含着Ω 1的不可数子集的存在，该子集的平方是齐次的.这给出了一个新的证明：在适当的公理假设下，当nu是可分测度时，布尔代数L^0（nu）/Fin中不存在Souslin（omega-one，omega-one）缺.

2005-01-24math.CAmath.LO

幂集之下的强分划关系：一致性，Sierpinski是对的吗？II

Strong partition relations below the power set: consistency, was Sierpinski right, II?

本文围绕Galvin关于强分划关系一致性的猜想展开，证否了原猜想，证明了将ω₂替换为大基数2^ω时的一致性，并给出相关迭代引理与定理推广。

2024-01-29math.LO

有限集对的一个划分定理

A partition theorem for pairs of finite sets

[[omega]^{< omega}]^2的每一个分割成1000个小块都有一个共尾齐次集。进一步证明了每个有向偏序集满足分拆性质的充要条件是它具有有限特征标。

1991-01-15math.LO

分划半格上的超滤空间

Ultrafilter spaces on the semilattice of partitions

自然数bN的Stone-Cech紧化，或者等价地，Ω子集上的超滤子空间，是一个研究得很好的具有有趣性质的空间。如果用Ω的划分来代替Ω的子集，就可以定义相应的划分超滤子的非同胚空间。我们将证明，这些空间仍然具有bN的一些好的性质，即使没有一个是bN同胚的。进一步，在特定空间中，研究了树的π-基和P-点的最小高度。

2001-09-23math.LO

Ω幂的拓扑复杂性：扩展摘要

Topological Complexity of omega-Powers : Extended Abstract

这是一个扩展的摘要，提出了关于Ω幂的拓扑复杂性的新结果（包含在论文“Ω幂的经典和有效描述性复杂性”中，可从arXiv：0708.4176获得），并反映了在Dagstuhl研讨会上讨论的一些开放问题“无限计算的拓扑和博弈论方面”29.06.08 - 04.07.08。

2008-09-10cs.CCcs.LOmath.LO

上下文无关omega-语言的拓扑复杂性研究综述

Topological Complexity of Context-Free omega-Languages: A Survey

我们调查最近的结果的拓扑结构的复杂性上下文无关的欧米茄语言，形成了第二层次的乔姆斯基层次的语言的无限的话。特别是，我们认为Borel层次和Wadge层次的非确定性或确定性上下文无关的欧米茄语言。我们还研究决策问题，与模糊性和模糊程度的概念的联系，以及欧米茄权力的特殊情况。

2013-03-12cs.CCcs.LOmath.LO

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

Ω-积空间的窄覆盖

Narrow coverings of omega-product spaces

谢尔宾斯基和其他人的结果表明，某些有限维积集可以写成子集的并集，每个子集在相应的方向上都是“窄”的;也就是说，该方向上的每条线都与子集相交。例如，如果集合（omega \times omega）沿对角线被划分为两部分，则一部分与有限集合中的每条水平线相交，另一部分与有限集中的每条垂直线相交。只有当形成产品的集合具有有限的尺寸时，这种分隔或覆盖才能存在。本文认为这样的覆盖产品的无限多个集（通常是产品的欧米茄副本相同的基数Kappa）。在这种情况下，无论因子集有多大，都存在一个窄集对乘积的覆盖，每个坐标方向一个窄集。但是如果限制覆盖中使用的集合（例如，要求它们在积拓扑中是Borel的），那么窄覆盖的存在性与许多大的基数性质有关：划分基数，自由子集问题，非正则超滤子，等等。这里给出的一个结果是S. Mrowka构造了度量空间的维数论中的一个反例。

1996-02-20math.LO

可数范畴结构自同构群的拓扑动力学

Topological dynamics of automorphism group of countably categorical structures

研究了可数范畴结构的自同构群及其预紧展开。证明了Ω稳定的Ω范畴结构的自同构群具有可度量化的泛极小流。我们还研究了这些群体的顺从性。这是一篇论文的草稿，它将被其他一些结果所扩展。

2014-12-20math.LO

o-有界群及其它具有强组合性质的拓扑群

o-bounded groups and other topological groups with strong combinatorial properties

我们构造了几个具有很强组合性质的拓扑群。特别地，我们给出了实直线R的子群（因此严格o-有界）的简单例子，它们具有Hurewicz性质但不是σ-紧的，并证明了R^N的两个o-有界子群的乘积可能不是o-有界的，即使它们满足更强的性质S1（Borel_Omega，Borel_Omega）。这解决了Tkacenko和Hernandez的问题，并扩展了Krawczyk和Michalewski以及Banakh，Nickolas和Sanchis的独立解决方案。我们还构造了大小连续的可分度量化群G，使得G的每一个可数Borel ω-覆盖都包含G的一个γ-覆盖。

2010-10-31math.COmath.GNmath.GR

可数结构自同态幺半群的一个拓扑刻画

A topological characterisation of endomorphism monoids of countable structures

一个拓扑幺半群同构于一个可数结构的自同态幺半群当且仅当它是可分的，并且有一个相容的完备超度量，使得从左开始的合成是非扩张的。我们还给出了同构于可数Ω范畴结构的自同态幺半群的拓扑幺半群的一个拓扑刻画。最后，我们提出了类似的可数结构的多态性克隆和可数ω-范畴结构的多态性克隆的特征。

2015-12-21math.LO

开集的交性质，II。

Intersection properties of open sets, II.

一个拓扑空间称为P_2（P_3，P_{<omega}）当且仅当它不包含两个（三个，三个以上）不可数空交开集.我们证明了（i）存在大小为2^omega的0维P_{<omega}空间，（ii）存在大小为omega_1的紧致P_{<omega}空间，（iii）大小为omega_1的紧致P_{<omega}空间的类Psi例子的存在性与ZFC无关，（iv）2 ^omega可以任意大，但每个第一可数（因此每个紧）P_2空间的基数<= omega_1，这是相容的。

1996-05-06math.LO

Van der Waerden空间和Hindman空间是不同的

Van der Waerden spaces and Hindman spaces are not the same

一个Hausdorff拓扑空间X称为van der Waerden，如果对X中的每个序列（x_n）_n，存在一个收敛子序列（x_n）_{n in A}，其中Ω的子集A包含所有有限长度的等差数列.一个Hausdorff拓扑空间X是Hindman的，如果对于X中的每个序列（x_n）_n，对于Ω的某个无限子集B，存在一个IP收敛子序列（x_n）_{n in FS（B）}.我们证明了连续统假设意味着存在一个不是Hindman的van der Waerden空间。

2001-12-23math.GNmath.LO

P_{kappa,lambda}的正划分关系

Positive partition relations for P_{kappa,lambda}

设kappa为正则不可数基数，lambda为基数>kappa，并假设lambda^{<kappa}小于范畴cov（M_{kappa,kappa}）的覆盖数。则（a）I_{kappa,lambda} ^+ -->^kappa（I_{kappa, lambda} ^+，omega +1）^2，（b）如果kappa是极限基数，则为I_{kappa, lambda} ^+ -->^kappa [ I_{kappa, lambda} ^+]_{kappa^+}^2，（c）如果kappa是弱紧的，则为I_{kappa, lambda} ^+ -->^kappa（I_{kappa, lambda} ^+）^2。

2004-07-26math.LO

拓扑空间的剖分与一个新的类棒原理

Partitions of topological spaces and a new club-like principle

本文给出W. Weiss和P. Komjath：如果$X$是正则拓扑空间，具有特征符$ < \mathfrak{b}$和$X \rightarrow (top ω+ 1)^{1}_ω$，则对于所有$α< ω_1$，$X \rightarrow (top α)^{1}_ω$，在原始空间中固定间隙。为此，我们考虑拓扑空间的一种新的分解。我们还定义了一个新的组合原理$\clubsuit_{F}$，并利用它证明了$\mathfrak{b}$是$X$特征的最优界与$\neg CH$是一致的.在\cite{WeissKomjath}中，这是使用$\diamondsuit$获得的。

2022-04-07math.GNmath.LO

Ramseyan超滤子

Ramseyan ultrafilters

我们调查家庭的分区欧米茄这是有关特殊的余理想，所谓的幸福家庭，并给出了一个对偶形式的Ramsey超滤子的分区。这些划分超滤子（我们称之为拉姆齐超滤子）的组合性质与拉姆齐超滤子的组合性质相似。例如，它将被证明，双马蒂亚斯迫使限制到一个拉姆齐超滤有相同的功能作为马蒂亚斯迫使限制到一个拉姆齐超滤。此外，我们引入了一个排序的集合上的划分过滤器，并考虑了一些基数特征的连续的对偶形式。

2001-09-16math.LO

稀疏图与类型空间不动点性质

Sparse graphs and the fixed points on type spaces property

该研究探讨Hrushovski构造所得ω-范畴稀疏图自同构群的拓扑动力学，推广已有结果，证明存在此类ω-范畴结构，其所有ω-范畴扩张均不具备类型空间不动点性质。

2024-06-06math.LO

d-极小结构中可定义拓扑群上的可定义$\mathcal C^r$结构

Definable $\mathcal C^r$ structures on definable topological groups in d-minimal structures

本文利用可定义集的分割度这一新概念，证明了在有序域的d-极小扩张中，拓扑为仿射的可定义拓扑群具有可定义$\mathcal C^r$结构，并研究了分割度的基本性质。

2024-07-22math.LO