关于希尔伯特代数的自由海廷代数扩张
逻辑
2017-11-30 v2
摘要
本文给出了从海廷代数范畴到希尔伯特代数范畴的遗忘函子的左伴随的显式构造。该函子经由 Celani 与 Jansana 所研究的希尔伯特代数的自由蕴涵半格扩张分解 [On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207]。
引用
@article{arxiv.1705.03856,
title = {On the free Heyting algebra extension of a Hilbert algebra},
author = {J. L. Castiglioni and H. J. San Martín},
journal= {arXiv preprint arXiv:1705.03856},
year = {2017}
}
备注
Main result is not true. It only holds under extra hypothesis. A new corrected version will be upload soon