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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback