Recursive axiomatisations from separation properties

Rob Egrot

We define a fragment of monadic infinitary second-order logic corresponding to an abstract separation property. We use this to define the concept of a separation subclass. We use m…