When do abstract bases generate continuous lattices and L-domains

In this note, the new concepts of C-bases (resp., BC-bases, L-bases) which are special kinds of abstract bases are introduced. It is proved that the round ideal completion of a C-basis (resp., BC-basis, L-basis) is a continuous lattice (resp., bc-domain, L-domain). Furthermore, representation theorems of continuous lattices (resp., bc-domains, L-domains) by means of the round ideal completions of C-bases (resp., BC-bases, L-bases) are obtained. Supported by the NSF of China (10371106, 60774073) and by the Fund (S0667-082) from Nanjing University of Aeronautics and Astronautics.     

相容连续Domain的不变性

引入了Scott相容连续映射与商相容Domain等概念,研究了Scott相容连续映射保局部基与保waybelow序及保局部基与保紧元之间的关系,证明了相容连续Domain或相容代数Domain在保局部基的Scott相容连续满映射下保持不变.     

Function spaces from core compact coherent spaces to continuous B-domains

It is proved in this paper that for a continuous B-domain L, the function space [X→L] is continuous for each core compact and coherent space X. Further, applications are given. It is proved that:

(1)

the function space from the unit interval to any bifinite domain which is not an L-domain is not Lawson compact;

(2)

the Isbell and Scott topologies on [X→L] agree for each continuous B-domain L and core compact coherent space X.

     

Continuous L-domains in logical form

We introduce a framework of approximable disjunctive propositional logic, which is the logic that results from a disjunctive propositional logic by adding an additional connective. The Lindenbaum algebra of this logic is an approximable dD-algebra. We show that for any approximable dD-algebra, its approximable filters ordered by set inclusion form a continuous L-domain. Conversely, every continuous L-domain can be represented as an approximable dD-algebra. Moreover, we establish a categorical equivalence between the category of approximable dD-algebras with approximable dD-algebra morphisms and that of continuous L-domains with Scott-continuous functions. This extends Abramsky's Domain Theory in Logical Form to the world of continuous L-domains. As an application, we give an affirmative answer to an open problem of Chen and Jung.     

连续Domain的遗传性及其不变性

引入Domain子空间的概念,得到Scott开集和闭集都是Domain的子空间。证明连续Domain或代数Domain对开子空间和闭子空间都是可遗传的。证明连续Domain或代数Domain在保Waybelow序的Scott连续映射下保持不变。     

事件结构与Domain

研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质I的代数L-domain。特别地,本文通过稳定事件生成的事件domain,证明了以线性映射为态射、以DI-domain为对象的范畴是以稳定映射为态射、以具有性质I的代数L-domain为对象的范畴的反射子范畴。     

New representations of algebraic domains and algebraic L-domains via closure systems

Closure systems (spaces) play an important role in characterizing certain ordered structures. In this paper, FinSet-bounded algebraic closure spaces are introduced, and then used to provide a new approach to constructing algebraic domains. Then, a special family of algebraic closure spaces, algebraic L-closure spaces, are used to represent algebraic L-domains. Next, algebraic approximate mappings are defined and serve as the appropriate morphisms between algebraic closure spaces, respectively, algebraic L-closure spaces. On the categorical level, we show that algebraic closure spaces (respectively, algebraic L-closure spaces,) each equipped with algebraic approximate mappings as morphisms, are equivalent to algebraic domains (respectively, algebraic L-domains) with Scott continuous functions as morphisms.

     

The Dedekind-MacNeille completion as a reflector

We introduce a special type of order-preserving maps between quasiordered sets, the so-called cut-stable maps. These form the largest morphism class such that the corresponding category of quasiordered sets contains the category of complete lattices and complete homomorphisms as a full reflective subcategory, the reflector being given by the Dedekind-MacNeille completion (alias normal completion or completion by cuts). Suitable restriction of the object class leads to the category of separated quasiordered sets and its full reflective subcategory of completely distributive lattices. Similar reflections are obtained for continuous lattices, algebraic lattices, etc.     

相容连续Domain的遗传性

定义相容Domain的子Domain与子空间等概念,得到Scott开集和Scott闭集都是相容Domain的子Domain与子空间的结论,证明了相容连续Domain或相容代数Domain对开子空间和闭子空间都是可遗传的。