On weakly cut-stable maps (Q2269789): Difference between revisions

\textit{M. Erné} [``The Dedekind-MacNeille completion as a reflector'', Order 8, No.~2, 159--173 (1991; Zbl 0738.06004)] has shown that a mapping between posets can be extended to a complete homomorphism between the corresponding Dedekind-MacNeille completions iff the given mapping is cut-stable (CS). Recall that \(f: P\rightarrow Q\) is (CS) if \(f\) is lower cut-stable (LCS) and upper cut-stable (UCS). More precisely, \(f: P\rightarrow Q\) satisfies (LCS) if \(L(f(U(A))=LU(f(A))\) for all \(A\subseteq P\). Upper cut-stable mappings are defined dually. The authors consider a slightly more general situation and characterize those mappings between posets which can be extended to weakly complete homomorphisms (i.e., preserving non-empty meets and joins) between the corresponding Dedekind-MacNeille completions. Their result is similar to that of M. Erné: \(f:P\rightarrow Q\) can be extended to a weakly complete homomorphism \(f^*:\mathcal{N}(P)\rightarrow \mathcal{N}(Q)\) iff \(f\) is weakly cut-stable (WCS). We need to know that (1) (WCS) = (WLCS) + (WUCS) and (2) (WLCS) means (i) \(L(f(U(A))= LU(f(A))\) whenever \(\emptyset\neq A\subseteq P,\) \(U(A)\neq\emptyset\) and (ii) \(U(f(A))=U(f(P))\) for \(\emptyset\neq A\subseteq P\) with \(U(A)=\emptyset.\) (Note that weakly complete homomorphisms need not preserve 0 and 1.) In addition, the authors study properties of (WCS) mappings and present characterizations of these mappings in a first-order language.