From outside, its body seems to be an assemblage of bubbles that stand in stark contrast to the straight lines of the buildings in the Chinese city of Suzhou. On the raised area in front of the Suzhou ...

In this paper we investigate computable isomorphisms of Boolean algebras with operators (BAOs). We prove that there are examples of polymodal Boolean algebras with finitely many computable isomorphism ...