Pages that link to "Item:Q535091"
From MaRDI portal
The following pages link to Codimension and pseudometric in co-Heyting algebras (Q535091):
Displaying 3 items.
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
- Model completion of scaled lattices and co‐Heyting algebras of <i>p</i>‐adic semi‐algebraic sets (Q5108866) (← links)
- THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS (Q6095984) (← links)