Characterizations of classes of countable Boolean inverse monoids

Mark V. Lawson, Philip Scott

A countably infinite Boolean inverse monoid that can be written as an increasing union of finite Boolean inverse monoids (suitably embedded) is said to be of finite type. Borrowing…