关于 Heyting 代数的一种嵌入
逻辑
2019-03-29 v3
摘要
本文致力于 Kuznetsov 定理的代数解释，该定理建立了直觉主义与证明直觉主义命题演算的断言等价性。给定一个 Heyting 代数，我们定义一个可丰富的 Heyting 代数，原代数嵌入其中。此外，我们证明两个代数生成同一个 Heyting 代数簇。这一代数结果等价于 Kuznetsov 定理。所提出的可丰富“对应”代数的构造，使得人们可以观察到原代数的某些性质通过该嵌入在对应代数中得以保持。
引用
@article{arxiv.1705.02728,
title = {On one embedding of Heyting algebras},
author = {Alexei Muravitsky},
journal= {arXiv preprint arXiv:1705.02728},
year = {2019}
}
备注
23 pages