理论格
范畴论
2009-05-05 v1 逻辑
摘要
我们证明，在签名L上的几何理论T的分类意象的子意象与L上作为T的“商”的闭几何理论之间存在一一对应；接下来，我们分析如何通过上述对应，将给定意象的子意象格上的经典意象论构造转移到相应理论格中的逻辑构造上。
引用
@article{arxiv.0905.0299,
title = {Lattices of theories},
author = {Olivia Caramello},
journal= {arXiv preprint arXiv:0905.0299},
year = {2009}
}
备注
84 pages