Natural congruences and isomorphism theorems for directed complete partially ordered sets
Sign Up to like & getrecommendations! Published in 2017 at "Algebra universalis"
DOI: 10.1007/s00012-017-0424-5
Abstract: Directed complete partially ordered sets (dcpos, for short) play an important role in domain theory. The aim of this paper is to characterise natural congruences of dcpos. We also show that the kernels of dcpo… read more here.
Keywords: isomorphism theorems; ordered sets; partially ordered; natural congruences ... See more keywords