Košík

0522847 - ÚI 2020 US eng V - Výzkumná zpráva
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].
Institucionální podpora: RVO:67985807
Klíčová slova: Epimorphism * Heyting algebra * Brouwerian algebra * Esakia space * intuitionistic logic * intermediate logic * Beth definability
Obor OECD: Pure mathematics
https://arxiv.org/abs/1908.00287
Trvalý link: http://hdl.handle.net/11104/0307269