Guram Bezhanishvili (New Mexico State University), Varieties of Heyting algebras: what we (still don’t) know

Tue, 11 April 2023, 1:25 pm MDT

I'll survey our current knowledge of the lattice of varieties of Heyting algebras. Towards the end of the talk, I'll discuss some recent developments, including some open problems that continue to fight back.

[slides] [video]