A generalisation of Scott’s information systems [14] is presented that captures exactly all L-domains. The global consistency predicate in Scott’s definition is relativised in such a way that there is a consistency predicate for each atomic proposition (token) saying which finite sets of such statements express information that is consistent with the given statement. It is shown that the states...

The Stokes semigroup on a bounded domain is an analytic semigroup on spaces of bounded functions as was recently shown by the authors based on an a priori L∞-estimate for solutions to the linear Stokes equations. In this paper, we extend our approach to exterior domains and prove that the Stokes semigroup is uniquely extendable to an analytic semigroup on spaces of bounded functions.