0522847 - ÚI 2020 US eng V - Research Report
Moraschini, Tommaso - Wannenburg, J. J.
Epimorphism surjectivity in varieties of Heyting algebras.
Cornell University, 2019. 36 s. arXiv.org e-Print archive, arXiv:1908.00287 [math.LO].
Institutional support: RVO:67985807
Keywords : Epimorphism * Heyting algebra * Brouwerian algebra * Esakia space * intuitionistic logic * intermediate logic * Beth definability
OECD category: Pure mathematics
https://arxiv.org/abs/1908.00287
Permanent Link: http://hdl.handle.net/11104/0307269
Moraschini, Tommaso - Wannenburg, J. J.
Epimorphism surjectivity in varieties of Heyting algebras.
Cornell University, 2019. 36 s. arXiv.org e-Print archive, arXiv:1908.00287 [math.LO].
Institutional support: RVO:67985807
Keywords : Epimorphism * Heyting algebra * Brouwerian algebra * Esakia space * intuitionistic logic * intermediate logic * Beth definability
OECD category: Pure mathematics
https://arxiv.org/abs/1908.00287
Permanent Link: http://hdl.handle.net/11104/0307269