Moraschini, TommasoWannenburg, Johann Joubert2020-10-192020-10Moraschini, T. & Wannenburg, J.J. 2020, 'Epimorphism surjectivity in varieties of Heyting algebras', Annals of Pure and Applied Logic, vol. 171, no. 9, art. 102824, pp. 1-31.0168-007210.1016/j.apal.2020.102824http://hdl.handle.net/2263/76534Please read abstract in the article.en© 2020 Elsevier B.V. All rights reserved. Notice : this is the author’s version of a work that was accepted for publication in Annals of Pure and Applied Logic. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. A definitive version was subsequently published in Annals of Pure and Applied Logic, vol. 171, no. 9, art. 102824, pp. 1-31, 2020. doi : 10.1016/j.apal.2020.102824.EpimorphismHeyting algebraEsakia spaceIntuitionistic logicIntermediate logicBeth definabilityPostprint Article