Pages that link to "Item:Q818713"
From MaRDI portal
The following pages link to Locally finite varieties of Heyting algebras (Q818713):
Displaying 16 items.
- Coproducts of distributive lattice-based algebras. (Q471163) (← links)
- Codimension and pseudometric in co-Heyting algebras (Q535091) (← links)
- Natural extensions and profinite completions of algebras (Q651385) (← links)
- Profinite completions and canonical extensions of Heyting algebras (Q862977) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra (Q1073065) (← links)
- A note on interpretations of Heyting algebras (Q1101137) (← links)
- Level zero types and Hecke algebras for local central simple algebras (Q1612526) (← links)
- Finitely generated relatively universal varieties of Heyting algebras (Q1913876) (← links)
- Localization of \(k\times j\)-rough Heyting algebras (Q2122481) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS (Q5117590) (← links)
- Locally finite monoids in finitely based varieties (Q5241926) (← links)
- The Lattice NExtS41 as Composed of Replicas of NExtInt, and Beyond (Q5886460) (← links)
- On finitely-generated Johansson algebras (Q6116351) (← links)