Search results
- 1.0545611 - ÚI 2022 RIV US eng J - Journal Article
Bezhanishvili, G. - Bezhanishvili, N. - Moraschini, T. - Stronkowski, Michał
Profiniteness and representability of spectra of Heyting algebras.
Advances in Mathematics. Roč. 391, 19 November 2021 (2021), č. článku 107959. ISSN 0001-8708. E-ISSN 1090-2082
Institutional support: RVO:67985807
Keywords : Heyting algebra * Profinite algebra * Profinite completion * Representation Problem * Priestley space * Esakia space
OECD category: Pure mathematics
Impact factor: 1.675, year: 2021
Method of publishing: Open access
http://dx.doi.org/10.1016/j.aim.2021.107959
Permanent Link: http://hdl.handle.net/11104/0322290File Download Size Commentary Version Access 0545611-aoa.pdf 5 858.9 KB OA CC BY 4.0 Publisher’s postprint open-access - 2.0478590 - ÚI 2018 RIV US eng J - Journal Article
Bezhanishvili, G. - Moraschini, Tommaso - Raftery, J.G.
Epimorphisms in Varieties of Residuated Structures.
Journal of Algebra. Roč. 492, 15 December (2017), s. 185-211. ISSN 0021-8693. E-ISSN 1090-266X
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : Epimorphism * Brouwerian algebra * Heyting algebra * Esakia space * Residuated lattice * Sugihara monoid * Substructural logic * Intuitionistic logic * Relevance logic * R-mingle * Beth definability
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.675, year: 2017
Permanent Link: http://hdl.handle.net/11104/0274669File Download Size Commentary Version Access a0478590.pdf 9 598.3 KB Publisher’s postprint require