双海廷代数簇的库兹涅佐夫问题的否定解
逻辑
2021-04-14 v1
摘要
我们证明存在（连续统多个）不是由其完全成员生成的双海廷代数簇。由此可知存在（连续统多个）Heyting-Brouwer 逻辑 的拓朴不完备扩张。这一结果为长期悬而未决的库兹涅佐夫问题提供了进一步的见解，通过对该问题从中介逻辑到 扩张的重构给出了否定解。
引用
@article{arxiv.2104.05961,
title = {A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras},
author = {Guram Bezhanishvili and David Gabelaia and Mamuka Jibladze},
journal= {arXiv preprint arXiv:2104.05961},
year = {2021}
}