A topos for continuous logic

连续逻辑的拓扑

我们建议对连续逻辑中的谓词进行排序，以便将连续逻辑的语义表示为超条令。我们证明了这种超条令可以嵌入到合适的格罗森迪克拓扑的子对象的超条令中。对于这种嵌入，我们对连续逻辑的超原理进行了简化，其等价关系的范畴等价于完备度量空间和一致连续映射的范畴。

关键词：连续逻辑、度量空间、范畴逻辑、超学说、格罗森迪克拓扑

2020年MSC：03C66,03G30,18F10型

范畴理论与应用， 2022年第38卷，第28号，第1108-1135页。

发布日期：2022-09-07。