可实现拓扑的Gleason覆盖

皮特·约翰斯通

最近，贝诺~凡~登~伯格推出了一个新的可实现性拓扑，他将其命名为Herbrand拓扑。这些地形具有与普通可实现拓扑显著不同的属性，特别是“常量对象”函子的（相关）属性集合的拓扑保持有限的副积，而德摩根定律是满意的。在本文中，我们证明了这些特性并非偶然：对于任何Schonfinkel代数$\Lambda$，Herbrand可实现拓扑超过$\Lambda$可以作为Gleason封面获得（在意义上Johnstone（1980）对$\Lambda$上的普通变现拓扑进行了研究。作为一个推论，我们得到了Herbrand可实现性的函数Schonfinkel代数范畴的构造与计算密集的应用形态。

关键词：可实现拓扑、De Morgan拓扑、Gleason覆盖

2010年MSC：初级18B25。次级03G30

范畴理论与应用， 2013年第28卷，第32号，第1139-1152页。

2013年12月12日出版。

http://www.tac.mta.ca/tac/volumes/28/32/28-32.dvi
http://www.tac.mta.ca/tac/volumes/28/32/28-32.ps
http://www.tac.mta.ca/tac/volumes/28/32/28-32.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/卷/28/32/28-32.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/28/32/28-32.ps