The Reflexive Domain of CPO's Ideals
Gabriel Ciobanu
Abstract:
A
reflexive
structure is a triple
, where
is an
algebraic structure, and , are mappings such that
. We
study reflexive structures in which the basic algebraic
structure is a complete partially ordered set (cpo), and
only continuous functions over cpo's are considered. We
use the concepts, notations, results and techniques of
domain theory [4, 7, 9]. We work with the ideals of some
special cpo's. We present a reflexive domain of these
ideals.
Gyenizse Pal
1997. Február 4. Kedd 14:23:32 MET
|