通过拓扑视角看保持定理
计算机科学中的逻辑
2024-04-17 v2 逻辑
摘要
在本文中，我们引入一类捕获保持定理存在的拓扑空间。这些空间的结构使我们能够在满态射、子类、和、积、拓扑闭包和投影极限的适当定义下研究保持定理的相对化。贯穿全文，我们还将已知结果整合进这一新框架，并展示它如何捕获其证明的本质。
引用
@article{arxiv.2007.07879,
title = {Preservation Theorems Through the Lens of Topology},
author = {Aliaume Lopez},
journal= {arXiv preprint arXiv:2007.07879},
year = {2024}
}