Menger与Rothberger博弈的无点证明
一般拓扑
2021-03-16 v2 逻辑
摘要
本文在格的框架下给出了关于拓扑博弈的Hurewicz定理与Pawlikowski定理的证明，在该框架下无法使用点进行论证。
关键词
引用
@article{arxiv.2102.12901,
title = {Pointless proofs of the Menger and Rothberger games},
author = {Renan Maneli Mezabarba},
journal= {arXiv preprint arXiv:2102.12901},
year = {2021}
}