德摩根定律与域理论
范畴论
2013-04-26 v1 逻辑
摘要
我们证明了域理论的分类 topos 不满足德摩根定律,并确定了其最大的稠密德摩根子 topos 为特征非零且在其素域上代数的域理论的分类 topos。
引用
@article{arxiv.0808.1972,
title = {De Morgan's law and the theory of fields},
author = {Olivia Caramello and Peter Johnstone},
journal= {arXiv preprint arXiv:0808.1972},
year = {2013}
}