{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T16:53:03Z","timestamp":1649091183687},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[1990,12]]},"abstract":"<jats:p> 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. <\/jats:p>","DOI":"10.1142\/s012905419000028x","type":"journal-article","created":{"date-parts":[[2004,11,29]],"date-time":"2004-11-29T02:14:37Z","timestamp":1101694477000},"page":"413-424","source":"Crossref","is-referenced-by-count":4,"title":["UNIVERSAL INFORMATION SYSTEMS"],"prefix":"10.1142","volume":"01","author":[{"given":"MANFRED","family":"DROSTE","sequence":"first","affiliation":[{"name":"Fachbereich 6\u2014Mathematik und Informatik Universit\u00e4t GHS Essen, D-4300 Essen 1, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00dcDIGER","family":"G\u00d6BEL","sequence":"additional","affiliation":[{"name":"Fachbereich 6\u2014Mathematik und Informatik Universit\u00e4t GHS Essen, D-4300 Essen 1, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,1,25]]},"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S012905419000028X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T14:07:26Z","timestamp":1565186846000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S012905419000028X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,12]]},"references-count":0,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2012,1,25]]},"published-print":{"date-parts":[[1990,12]]}},"alternative-id":["10.1142\/S012905419000028X"],"URL":"https:\/\/doi.org\/10.1142\/s012905419000028x","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,12]]}}}