Results 1 
3 of
3
THE COMPLETION OF A PARTIALLY ORDERED SET WITH RESPECT TO A POLARIZATION
, 1971
"... A complete extension of a poset (partially ordered set) X is a pair (C, j), where C is a complete lattice and j: X> C is an orderembedding. A completion is a complete extension that is 'not too large', in a sense formalized in § 2. That every poset has at least one completion is known ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
(Show Context)
A complete extension of a poset (partially ordered set) X is a pair (C, j), where C is a complete lattice and j: X> C is an orderembedding. A completion is a complete extension that is 'not too large', in a sense formalized in § 2. That every poset has at least one completion is known