A direct description of uniform completion in locales and a characterization of -groups
A topological representation of polarity lattices.
A topological representation of Post algebras and free Post algebras
Algebraic representation of continua.
An algebraic and logical approach to continuous images
An application of fixed-point theory to equilibrium analysis
An application of the theory of isosceles (ultrametric) spaces to the Trnková-Vinárek theorem
An extension of the Stone representation for orthomodular lattices
Atomless Parts of Spaces.