Model-completion of varieties of co-Heyting algebras

zbMath1434.06001arXiv1001.1663MaRDI QIDQ4575123

Luck Darnière, Markus Junker

Publication date: 12 July 2018

Full work available at URL: https://arxiv.org/abs/1001.1663

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Varieties of lattices (06B20) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS ⋮ Model completion of scaled lattices and co‐Heyting algebras of p‐adic semi‐algebraic sets ⋮ EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS