Universal profinite domains (Q1093371): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q264537 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Gabriel Ciobanu / rank | |||
Normal rank |
Revision as of 05:20, 12 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Universal profinite domains |
scientific article |
Statements
Universal profinite domains (English)
0 references
1987
0 references
The author introduces and studies the profinite domains in the order- theoretic approach to programming semantics. The mathematical problem of the existence of a profinite universal domain is investigated. Thus, the paper provides and explains a technique for constructing an infinite class of universal profinite domains. The category of profinite domains and continuous functions is shown to be bicartesian closed and necessary conditions are provided for the existence of solutions of domain equations within this category. According to the author, ``this is a rather natural, and in a sense inevitable, category which contains SFP (see Plotkin, 1976) as a full subcategory''. An approach similar to information systems is extended to categories larger than the one considered by Scott.
0 references
domain theory
0 references
domain equation
0 references
preorder
0 references
Plotkin order
0 references
bicartesian closed category
0 references
profinite domains
0 references
programming semantics
0 references
universal domain
0 references
information systems
0 references