priestley space
Recently Published Documents


TOTAL DOCUMENTS

3
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

1980 ◽  
Vol 20 (1) ◽  
pp. 293-297 ◽  
Author(s):  
Albert Stralka


1980 ◽  
Vol 22 (1) ◽  
pp. 125-132 ◽  
Author(s):  
William H. Cornish

Kennison's concept of an ordered sheaf is used to show that any member of the variety of subresiduated lattices is canonically isomorphic to the algebra of all ordered sections in a certain ordered sheaf, whose base is the Priestley space of the residuating sublattice.



1977 ◽  
Vol 16 (1) ◽  
pp. 1-13 ◽  
Author(s):  
William H. Cornish ◽  
Peter R. Fowler

The dual of the category of De Morgan algebras is described in terms of compact totally ordered-disconnected ordered topological spaces which possess an involutorial homeomorphism that is also a dual order-isomorphism. This description is used to study the coproduct of an arbitrary collection of De Morgan algebras and also to represent the coproduct of two De Morgan algebras in terms of the continuous order-preserving functions from the Priestley space of one algebra to the other algebra, endowed with the discrete topology. In addition, it is proved that the coproduct of a family of Kleene algebras in the category of De Morgan algebras is the same as the coproduct in the subcategory of Kleene algebras if and only if at most one of the algebras is not boolean.



Sign in / Sign up

Export Citation Format

Share Document