C. C. Chang and H. J. Keisler, Model theory, volume 73 of Studies in Logic and the Foundations of Mathematics, 1990.

M. Luckdarnì-ere and . Junker, Codimension and pseudometric in co-Heyting algebras, Algebra Universalis, vol.64, issue.3, pp.251-282, 2011.

S. Ghilardi and M. Zawadowski, Model completions and r-Heyting categories, Annals of Pure and Applied Logic, vol.88, issue.1, pp.27-46, 1997.
DOI : 10.1016/S0168-0072(97)00012-2
URL : http://doi.org/10.1016/s0168-0072(97)00012-2

W. Hodges, A shorter model theory, 1997.

[. Hosoi, On intermediate logics. I, J. Fac. Sci. Univ. Tokyo Sect. I, vol.14, pp.293-312, 1967.

]. L. Mak77 and . Maksimova, Craig's theorem in superintuitionistic logics and amalgamable varieties. Algebra i Logika, pp.643-681, 1977.

C. G. Mckay, The decidability of certain intermediate propositional logics, The Journal of Symbolic Logic, vol.13, issue.02, pp.258-264, 1968.
DOI : 10.1007/BF01988049

J. C. Mckinsey and A. Tarski, On Closed Elements in Closure Algebras, The Annals of Mathematics, vol.47, issue.1, pp.122-162, 1946.
DOI : 10.2307/1969038

A. M. Pitts, Abstract, The Journal of Symbolic Logic, vol.52, issue.01, pp.33-52, 1992.
DOI : 10.1016/0022-4049(83)90104-4

H. William and . Wheeler, Model-companions and definability in existentially complete structures, Israel J. Math, vol.25, issue.3-4, pp.305-330, 1976.