[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