迈向合成描述集合论：基于表示空间的一个实例
计算机科学中的逻辑
2014-06-03 v2 范畴论
逻辑
摘要
利用合成拓扑学的思想，提出了一种描述集合论的新方法。合成描述集合论有望为经典描述集合论和有效描述集合论中的各种现象提供优雅的解释。目前，我们主要专注于在表示空间范畴中发展这些思想。
引用
@article{arxiv.1307.1850,
title = {Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces},
author = {Arno Pauly and Matthew de Brecht},
journal= {arXiv preprint arXiv:1307.1850},
year = {2014}
}