[FOM] Fulfilment of semilatice & third level always has (isomorphic copy) of first level(?)

Stanislav Barov barov at mccme.ru
Mon May 8 19:31:41 EDT 2006

Dear fomers?
May someone explain which sentences are equivalent to statament what
"All upper semilatices can be embeded in full semilatices" This 
construction is similar to dedecind's cuts fulfilment, but it is only the 
I have second, more general question. Is thare a counterexample to
conjecture what any first level strusctures can be equivalently described
in terms of third levels statements, e.g. describable on third level.
For example set of maximal principial ideals in POS is (probably modulo) 
set of atoms.
Stanislav Barov

More information about the FOM mailing list