×

强迫的普遍性。 arXiv公司:2310.11691

预印本,arXiv:2310.11691[math.LO](2023)。
摘要:本文的目的是研究强制作为构建通用模型的工具。特别是,我们研究了宇宙初始片段的理论,并表明这些理论中足够丰富的片段的任何模型都可以嵌入到通过强制构造的模型中。我们的结果依赖于好的超滤子的模型理论性质,为此我们提供了一个关于非必要完备布尔代数的新的存在性证明。
BibTeX公司 引用
全文: arXiv公司
arXiv数据来自arXiv OAI-PMH API.如果你发现了错误,请直接向arXiv报告.