[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 
example.
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