[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:

 o  if the stable function space [D->D] has a countable basis, then D
    must satisfy axiom I, for any Scott domain D;

 o  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 at the following
URL: ftp://ai.uga.edu/pub/zhang.papers/di-largest.ps.Z

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