A partial order where all monotone maps are definable
It is consistent that there is a partial order (P,≤) of size such that every monotone function f:P → P is first order definable in (P,≤).
A partically ordered space which is not a Priestely space.
A polynomial characterization of nondistributive modular lattices
A poset hierarchy
This article extends a paper of Abraham and Bonnet which generalised the famous Hausdorff characterisation of the class of scattered linear orders. They gave an inductively defined hierarchy that characterised the class of scattered posets which do not have infinite incomparability antichains (i.e. have the FAC). We define a larger inductive hierarchy κℌ* which characterises the closure of the class of all κ-well-founded linear orders under inversions, lexicographic sums and FAC weakenings. This...
A precedence theorem for semigroups.
A Priestley view of spatialization of frames
A principal congruence identity characterizing the variety of distributive lattices with zero
A problem of A. Monteiro concerning relative complementation of lattices
A problem of Halmos on projective Boolean algebras
A proof and an extension of a theorem of G. Birkhoff.
A Proof And An Extension Of A Theorem Of G. Birkoff
A property of the lattice of subsemilattices
A propos des quasi-ordres - Note
A realization of -groups
A reduced free product of lattices
A reduction theorem for ring varieties whose subvariety lattice is distributive
We prove a theorem (for arbitrary ring varieties and, in a stronger form, for varieties of associative rings) which basically reduces the problem of a description of varieties with distributive subvariety lattice to the case of algebras over a finite prime field.
A regular a-semigroups inducing a certain lattice.
A relational semantics for the logic of bounded lattices
This paper aims to propose a complete relational semantics for the so-called logic of bounded lattices, and prove a completeness theorem with regard to a class of two-sorted frames that is dually equivalent (categorically) to the variety of bounded lattices.
A relative Laplacian spectral recursion.
A remark on a paper of H. Höft