Pages that link to "Item:Q2195632"
From MaRDI portal
The following pages link to Epimorphism surjectivity in varieties of Heyting algebras (Q2195632):
Displaying 6 items.
- Epimorphisms in varieties of subidempotent residuated structures (Q2226977) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187) (← links)
- Semilinear De Morgan monoids and epimorphisms (Q6142014) (← links)
- Transfer theorems for finitely subdirectly irreducible algebras (Q6183569) (← links)
