Sublattices of complete lattices with continuity conditions (Q2577723)

It is well known that every lattice can be embedded into a suitable algebraic lattice. The author investigates the following problem: Can every lattice be embedded into some bi-algebraic lattice? (Note, that bi-algebraic lattice means an algebraic and dually algebraic lattice.) The answer is: no. There are more results: (1) The lattices of all subspaces of any infinite-dimensional vector space, and of all order-convex subsets of every infinite chain cannot be embedded into any bi-algebraic lattice. (2) If \(S\) is a join-semilattice with \(0\) satisfying the minimal join-cover refinement property, then the ideal lattice \(\text{Id}(S)\) is bi-algebraic. If, in addition, there is no infinite \(B\)-sequence of elements of \(J(S)\), then \(S\) has a meet-complete join-embedding into some direct product of finite lower bounded lattices. (Note, that \(D\) means join-dependency relation and \(J(S)\) is the set of all join-irreducible elements of \(S\).) (3) The author gives a system of infinitary identities that characterize sublattices of complete, lower-continuous and join-semidistributive lattices. Six open problems are formulated in the last section.