#	ERRATA PhD THESIS      

###############################
#	CHAPTER 4
###############################

The proof of Proposition 4.5.9 is not correct.
What is computed is not the closure of the minimum but the downset of the closure of the minimum. 
Corollary 4.5.10 (and therefore also Proposition 4.5.11) is still true but requires an alternative argument.
See the paper ``Hyper-MacNeille completions of Heyting algebras'' Studia Logica, (2021) 109(5), pp. 1119--1157.
As is written the proof of Proposition 4.5.11 shows directly that the centre of Q(A) is isomorphic to RO(min(X)).
Proposition 4.5.9 is not used anywhere else.    

###############################
#	APPENDIX
###############################

Page 179: Our definition of ``term equivalence'' is in fact what is usually
called ``polynomially equivalence'', see, e.g., Def. II.13.3 of Item 46 of the bibliography. 
For the correct definition of term equivalence, see, e.g., Def.'s 4.76 and 4.77 of 
Bergman's ``Universal  Algebra:  Fundamentals  and  Selected  Topics'', Chapman & Hall Pure and Applied Mathematics. 2011.

###############################
#	BIBLIOGRAPHY
###############################

Item 201 authors -> author's
Item 119 authors -> author's