Representations of Algebraic Dcpo´s by Information Systems and Abstract Bases

In this paper, notions of general algebraic information systems and dense abstract bases are introduced. Their relationships with algebraic dcpo´s are investigated. It is shown that they both represent exactly the algebraic dcpo´s. Technically, the corresponding categories of these three structures are equivalent with each other.