UNIVERSAL INFORMATION SYSTEMS
Manfred Droste, Rüdiger Göbel · International Journal of Foundations of Computer Science · 1990
In the theory of denotational semantics of programming languages, several authors proved the existence of particular kinds of universal domains. D. Scott constructed universal information systems, which are, however, not unique up to isomorphism. Here, we use a model-theoretic technique to establish the existence and uniqueness of a universal homogeneous information system. Similar results are also obtained for canonical and for stable information systems, respectively.