Tue, 29 Oct 2024, 1:25 pm MDT
Introduced in the 1960's, BCK-algebras are the algebraic semantics of BCK-logic. Like with many algebraic structures, there is a natural way to associate a topological space to a BCK-algebra; we call this space the spectrum. In this talk I'll recall what is known about spectra of commutative BCK-algebras before asking: what happens when we drop the assumption of commutativity? The discussion will close with a conjecture about spectra of finite BCK-algebras.