Pages that link to "Item:Q4575123"
From MaRDI portal
The following pages link to Model-completion of varieties of co-Heyting algebras (Q4575123):
Displaying 5 items.
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Model completion of scaled lattices and co‐Heyting algebras of <i>p</i>‐adic semi‐algebraic sets (Q5108866) (← links)
- EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)
- MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189) (← links)
- THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS (Q6095984) (← links)