关于 Heyting 代数的模型完备
逻辑
2018-10-04 v1
摘要
我们利用 [DJ18] 中的“Density”和“Splitting”性质，以及我们在此引入的某种“QE Property”，为公理化 Heyting 代数理论的模型完备。此外：我们证明该模型完备具有一个素模型，它是局部有限的且被我们显式构造；我们展示了 [vGR18] 的开映射定理如何由存在闭 Heyting 代数的 QE Property 导出；并且我们构造了 Heyting 代数中方程的某种“判别式”，类似于其环论对应物。
引用
@article{arxiv.1810.01704,
title = {On the model-completion of Heyting algebras},
author = {Luck Darnière},
journal= {arXiv preprint arXiv:1810.01704},
year = {2018}
}