1 paper
Michal Botur, Jan Paseka, Richard Smolka
Motivated by the classical work of Halmos on functional monadic Boolean algebras we derive three basic sup-semilattice constructions, among other things the so-called powersets and…