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

Abstract

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.