无限拟阵与博弈的确定性
组合数学
2013-01-28 v1 逻辑
摘要
通过解决 Diestel 和 Pott 提出的一个问题，我们构造了一大类无限拟阵。这些拟阵可用于为良拟序猜想向无限拟阵的自然推广提供反例，并证明平面无限拟阵类不具有万有拟阵。这些拟阵的存在性与集合论有关，因为它对应于某些博弈的确定性。为证明我们的构造确实给出拟阵，我们引入了可数驯顺拟阵类的一个新的、非常简单的公理化。
引用
@article{arxiv.1301.5980,
title = {Infinite Matroids and Determinacy of Games},
author = {Nathan Bowler and Johannes Carmesin},
journal= {arXiv preprint arXiv:1301.5980},
year = {2013}
}