Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean algebras to be isomorphic
Canonical extensions of lattice ordered algebras provide an algebraic formulation of what is otherwi...
In this paper we explain the link between the algebraic models and the Kripke-style models for certa...
This paper presents a unified account of a number of dual category equivalences of relevance to the ...
Dedicated to our friend and colleague Mamuka Jibladze on his 50th birthday Abstract. This paper surv...
the canonical extension Aσ and the profinite completion A ̂ of algebras A with a bounded distributiv...
A bounded distributive lattice L has two unital semilattice reducts, denoted L̂^ and Lv. These order...
A bounded distributive lattice L has two unital semilattice reducts, denoted L̂^ and Lv. These order...
We show that the profinite completions and canonical extensions of bounded distributive lattices and...
Abstract. Let V be a variety of monotone bounded lattice expansions, that is, bounded lattices endow...
A b s t r a c t. The purpose of this note is to expose a new way of viewing the canonical extension ...
The aim of this paper is to apply properties of the double dual endofunctor on the category of bound...
Traditionally in natural duality theory the algebras carry no topology and the objects on the dual s...
This paper investigates profinite completions of residually finite algebras, drawing on ideas from t...
This paper investigates profinite completions of residually finite algebras, drawing on ideas from t...
A Heyting algebra is not only a lattice theoretic object, but is also related to the intruitiontic l...
Canonical extensions of lattice ordered algebras provide an algebraic formulation of what is otherwi...
In this paper we explain the link between the algebraic models and the Kripke-style models for certa...
This paper presents a unified account of a number of dual category equivalences of relevance to the ...
Dedicated to our friend and colleague Mamuka Jibladze on his 50th birthday Abstract. This paper surv...
the canonical extension Aσ and the profinite completion A ̂ of algebras A with a bounded distributiv...
A bounded distributive lattice L has two unital semilattice reducts, denoted L̂^ and Lv. These order...
A bounded distributive lattice L has two unital semilattice reducts, denoted L̂^ and Lv. These order...
We show that the profinite completions and canonical extensions of bounded distributive lattices and...
Abstract. Let V be a variety of monotone bounded lattice expansions, that is, bounded lattices endow...
A b s t r a c t. The purpose of this note is to expose a new way of viewing the canonical extension ...
The aim of this paper is to apply properties of the double dual endofunctor on the category of bound...
Traditionally in natural duality theory the algebras carry no topology and the objects on the dual s...
This paper investigates profinite completions of residually finite algebras, drawing on ideas from t...
This paper investigates profinite completions of residually finite algebras, drawing on ideas from t...
A Heyting algebra is not only a lattice theoretic object, but is also related to the intruitiontic l...
Canonical extensions of lattice ordered algebras provide an algebraic formulation of what is otherwi...
In this paper we explain the link between the algebraic models and the Kripke-style models for certa...
This paper presents a unified account of a number of dual category equivalences of relevance to the ...
DOI
Add to ORKG