Loading article…
数学において、コヒーレントトポスとは、有限積で閉じた準コンパクトで準分離したオブジェクトの集合によって生成されるトポスである。 [1]
ドリーニュの完全性定理によれば、首尾一貫したトポスは十分な点を持つ。 [ 2]ウィリアム・ローヴェアは、ドリーニュの定理がゲーデルの完全性定理の一階述語論理の変形であると指摘した。 [3]
参照
参考文献
- ^ Jacob Lurie、Categorical Logic（278x）。講義11。定義6。
- ^ B. Frot、「ゲーデルの完全性定理とドリーニュの定理」、arXiv:1309.0389 (2013)。
- ^ https://ncatlab.org/nlab/show/Deligne+completeness+theorem
- ピーター・ジョンストン『象のスケッチ』
外部リンク
- https://ncatlab.org/nlab/show/coherent+topos