莫雷诺·皮耶罗朋;Viale，Matteo公司 布尔值模型、预升和étalé空间。 arXiv:2006.14852年 预印本，arXiv:2006.14852[math.LO]（2020）。 摘要：签名的布尔值模型是（mathcal{L}）结构的推广，在这种结构中，我们允许用布尔真值解释（mathcal{L}\）关系符号。例如，对于具有\（\mathcal｛M｝\）a \（\mathsf｛b｝\）-值\（\mathcal｛L｝\）-结构的元素\（a，b\in\mathcal｛M｝\），对于某些布尔代数\（\mathsf｛b｝\），\（（a=b）\）既不是真也不是假，但在\（\mathsf｛b｝\）中得到一个中间真值。本文介绍了由稠密Grothendieck拓扑诱导的拓扑空间上预升的剪切过程的拓扑特征。在产生我们的特征的过程中，我们还将拓扑空间之间的开连续映射的概念与完备布尔代数之间的完全同态的概念联系起来，布尔代数之间的伴随同态（例如，如果被视为偏序/范畴之间的函子，则具有左伴随的同态）。接下来，我们将这些拓扑/范畴理论结果与布尔值模型理论联系起来。通过Monro识别Stone空间上具有布尔值模型的拓扑预升，以及具有混合性质的布尔值模型上的带轮（根据稠密Grothendieck拓扑），我们给出了一个结果的不同证明。我们还给出了布尔值模型满足Lo-shi定理（即Cohen–Scott，Solovay，Vopenka–针对集合论中强制方法给出的特殊情况而建立的强制定理的一般形式）的精确拓扑表征（所谓的完全性）。然后，我们通过证明混合属性严格更强，将填充属性与混合属性分开。最后，我们给出了预升对应于全布尔值模型的精确分类特征，即它们的相关étalé空间的整体截面的结构 理学硕士： 03E40型 强制和布尔值模型的其他方面 18A40型 伴随函子（泛结构、反射子范畴、Kan扩张等） 18层20 预提升和滑轮、堆垛、下降条件（理论方面） 03C90号 非经典模型（布尔值、层等） 03C20号 Ultra产品和相关结构 BibTeX公司 引用 \textit{M.Pierobon}和\textit{M.Viale}，“布尔值模型、预升和总空间”，预印，arXiv:2006.14852[math.LO]（2020） 全文： arXiv公司 OA许可证 arXiv数据来自arXiv OAI-PMH API.如果你发现了错误，请直接向arXiv报告.