Universal profinite domains

Research output: Contribution to journalArticlepeer-review

Abstract

We introduce a bicartesian closed category of what we call profinite domains. Study of these domains is carried out through the use of an equivalent category of pre-orders in a manner similar to the information systems approach advocated by Dana Scott and others. A class of universal profinite domains is defined and used to derive sufficient conditions for the profinite solution of domain equations involving continuous operators. As a special instance of this construction, a universal domain for the category SFP is demonstrated. Necessary conditions for the existence of solutions for domain equations over the profinites are also given and used to derive results about solutions of some equations. A new universal bounded complete domain is also demonstrated using an operator which has bounded complete domains as its fixed points.

Original languageEnglish (US)
Pages (from-to)1-30
Number of pages30
JournalInformation and Computation
Volume72
Issue number1
DOIs
StatePublished - Jan 1987
Externally publishedYes

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Information Systems
  • Computer Science Applications
  • Computational Theory and Mathematics

Fingerprint

Dive into the research topics of 'Universal profinite domains'. Together they form a unique fingerprint.

Cite this