包含初等子模型的类递归构造
A quotient-like construction involving elementary submodels
摘要：
本文研究了从空间和包含它的初等子模型导出拓扑的方法，首先定义并给出了这种构造的基本性质，称为$X/M$。在下一节中，我们构造了一些例子，并分析了$X$和$X/M$之间的拓扑关系。在最后一节中，我们应用$X/M$得到了Lindelöf空间的新结果，部分回答了F.D. Tall和M的另一个问题。Scheepers。
英文摘要：
This article is an investigation of a method of deriving a topology from a space and an elementary submodel containing it. We first define and give the basic properties of this construction, known as $X/M$. In the next section, we construct some examples and analyse the topological relationship between $X$ and $X/M$. In the final section, we apply $X/M$ to get novel results about Lindelöf spaces, giving partial answers to a question of F.D. Tall and another question of Tall and M. Scheepers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
