[L2] _________________________ AMAST Links 02 05

The Largest Cartesian Closed Category of Stable Domains

by Guo-Qiang Zhang

I am pleased to announce the availability of the subject paper.

The main results are:

• if the stable function space [D->D] has a countable basis, then D must satisfy axiom I, for any Scott domain D;
• if the stable function space [D->D] is bounded complete, then D must be distributive, for any finitary Scott domain D.

These imply that the category of dI-domains is the largest cartesian closed category within Scott domains, with the exponential being the stable function space.

The postscript file can be obtained by anonymous ftp .

Guo-Qiang Zhang
Department of Computer science
University of Georgia
Athens, Georgia 30602
U.S.A.