Open Colorings and Baumgartner's Axiom
Open Colorings and Baumgartner's Axiom
University of Vienna（维也纳大学）
AI总结：
构造一个满足 $\mathsf{MA_{\aleph_1}}+\mathsf{OCA}_T$ 但 Baumgartner 公理不成立的模型，并给出一个既不可逆也不递增的 $\aleph_1$-稠密集。
摘要：
我们构造了一个 $\mathsf{MA_{\aleph_1}}+\mathsf{OCA}_T$ 的模型，其中 Baumgartner 公理不成立，解决了 Farah 的一个问题。此外，在同一模型中存在一个 $\aleph_1$-稠密的实数集，它既不可逆也不递增，回答了 Marun、Shelah 和 Switzer 的一个问题。
英文摘要：
We construct a model of $\mathsf{MA_{\aleph_1}}+\mathsf{OCA}_T$ where Baumgartner's Axiom fails, settling a question of Farah. Moreover, in the same model there is an $\aleph_1$-dense set of reals which is neither reversible nor increasing, answering a question of Marun, Shelah, and Switzer.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
