首页/论文/math/9501209

arXiv math/95012091995-01-26math.LO

过滤对策与获胜策略的组合性质

Filter games and combinatorial properties of winning strategies

Claude Laflamme

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们描述了在各种无限对策中的获胜策略，涉及过滤器的自然数的组合或给定的过滤器的结构特性。这些结果推广了Galvin的几个超滤对策。

英文摘要：

We characterize winning strategies in various infinite games involving filters on the natural numbers in terms of combinatorics or structural properties of the given filter. These generalize several ultrafilter games of Galvin.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

$P_κ(λ)$-过滤游戏的基数

Cardinals of the $P_κ(λ)$-Filter Games

Rutgers University（罗格斯大学）；CUNY Graduate Center（纽约市立大学研究生院）

本文研究了$P_κ(λ)$上滤子游戏的性质，通过分析玩家II的获胜策略，刻画了多种大基数概念，并改进了相关定理。

2026-02-18math.LO

带滤子的博弈

Games with Filters

本文研究 Welch 博弈变体，证明玩家 II 在不同长度博弈中获胜与大基数性质的等价关系，并构造模型展示这些结果非空且具有中间长度的区分性。

2023-08-07math.LO

F（sigma）滤子的组合性质及其在N-集上的应用

Combinatorial aspects of F(sigma) filters with an application to N-sets

我们讨论F（西格玛）过滤器，并表明，生成不可对角化的过滤器包括在一些F（西格玛）过滤器的过滤器基地的最小尺寸是更好地了解有界规避数e（ubd）。给出了三角级数在N-集合上的一个应用，证明了如果A是N-集合，B的大小小于e（ubd），则A+B也是N-集合.

1995-09-18math.LO

构造模态逻辑证明的指称语义

Towards a Denotational Semantics for Proofs in Constructive Modal Logic

本文给出了构造模态逻辑CK和CD中证明的两种新语义。第一个语义是通过扩展命题直觉逻辑的组合证明的语法给出的，其中证明被分解为线性片段（竞技场网）和并行的弱化收缩片段（斜纤维化）。特别是，我们提供了一个编码的模态公式通过有向图（模态竞技场），和一个编码的线性证明作为模态竞技场配备满足拓扑标准的顶点分区。第二个语义是通过赢得无辜的策略，两个球员的游戏模式舞台。这是通过在Hyland-Ong竞技场中扩展直觉组合证明和获胜无辜策略之间的Heijltjes-Hughes-Straßburger对应关系给出的。使用我们的第一个结果，我们提供了一个表征的获胜策略的游戏模式舞台上对应的模态证明。

2021-04-19cs.LOmath.LO

Raisonnier滤波器的组合性质

Combinatorial Properties of the Raisonnier Filter

Institute of Logic, Language and Computation (ILLC), Universiteit van Amsterdam（阿姆斯特丹大学逻辑、语言与计算研究所）；Amsterdam University College (AUC), Universiteit van Amsterdam（阿姆斯特丹大学学院）；Fachbereich Mathematik, Universität Hamburg（汉堡大学数学系）

本文研究了Raisonnier滤波器的组合性质，并提出了一个部分逆定理，用于特征化所有Σ¹₂集的可测性，同时探讨了相关理想及其基数特征。

2026-02-26math.LO

滤子的Mathias强迫与组合覆盖性质

Mathias forcing and combinatorial covering properties of filters

给出了$w$上的滤子$F$的拓扑刻画，使得Mathias强迫$M_F$不增加控制实或保持基模型无界族.这使我们能够回答Brendle，Guzmán，Hrušák，Mart 'ınez，Minami和Tsaban的一些问题。

2015-04-08math.GNmath.LO

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

可数集上可测滤子的结构

On the structure of measurable filters on a countable set

给出了可数集上可测滤子的一个组合特征，并将其应用于不可测滤子的交的可测性问题。

1999-05-19math.LO

滤子的强弱性质

Strong meager properties for filters

分析了自然数上滤子在经典Baire性质和滤子为$F_σ$之间的几个"强弱“性质. Talagrand研究了两个这样的性质，并研究了几个组合性质。特别地，我们定义了P $^+$ -滤子的概念，它是传统P-滤子概念的推广，并证明了非贫乏P $^+$ -滤子的存在性.我们的动机在于理解的结构所产生的过滤器的补充的成员的一个极大几乎不相交的家庭。

1993-12-14math.LO

可数向量空间上的滤子

Filters on a countable vector space

本文研究可数向量空间上由无限维子空间生成的滤子的组合性质及其蕴含关系，类比于自然数超滤子的选择性和FIN上有序并超滤子的稳定性。

2021-10-03math.LO

团队游戏、超图空间和投影布尔代数

Team games, hypergraph spaces, and projective Boolean algebras

我们修改的游戏Fuchino，Koppelberg，和Shelah用于表征的$κ$ -自由民族属性为一个给定的布尔代数$A$，更换球员I和II每个与一个团队的$n$球员有限的信息。我们表明，$A$是紧密的$κ$过滤时，团队II有一个获胜的策略，每一个有限的团队规模。$κ=\aleph_0$情形刻画了投射布尔代数和Dugundji空间。就丹尼尔斯、库宁和周小川的开放式比赛而言，这种定性是一个非常有利于我的团队版本。我们同样的特点科恩代数的一个团队版本的I-可扩展性。如果$A$是$κ^{+n}$上的$n$ -一致超图空间的闭根代数，避免了$[n+1]^n$的副本，那么团队II对于团队规模为$n-1$但不是$n$的修改后的FKS游戏有获胜策略。对于$n\geq 3$，这个代数也回答了一个问题Geschke结合时，一个本地${<}κ$大小的表征紧密$κ$过滤布尔代数，我们证明。案例$κ=\aleph_0$包含了投射布尔代数的局部有限刻画。

2022-02-28math.GNmath.LO

Menger空间的乘积：一种组合方法

Products of Menger spaces: a combinatorial approach

我们构造了乘积在平面上不是Menger的实直线的Menger子集。与早期的结构相比，我们的方法是纯粹的组合。在我们的构造中使用的集合论假设比以前的假设温和得多，并且在除了最奇异的实集合论模型之外的所有模型中都成立。另一方面，我们建立生产性的性质的版本门格尔的属性参数化的过滤器和半过滤器。特别地，连续统假设意味着每个实数的Menger集都是Hurewicz集，并且Menger性质的每个超滤子版本严格地介于Menger和Hurewicz的经典性质之间。我们包括一些开放的问题，从这项研究中出现的。

2016-05-18math.GNmath.LO