[FOM] Question on Distributive Lattices
A. Mani
a.mani.cms at gmail.com
Fri Oct 24 15:13:56 EDT 2014
(due to Dimiter Vakarelov)
Are the following two statements equivalent in ZF?
The following is well known in distributive lattices (L, ., +, 0, 1):
(1) Let F be a filter disjoint from an ideal H. Then there exists a
prime filter K extending F and disjoint from H.
Usually the proof of (1) follows by an application of Zorn Lemma. But
then the proof yields a stronger version:
(2) Let F be a filter disjoint from an ideal H. Then there exists a
prime filter K extending F and disjoint from H and
(\foall x\notin K) (\exists y\in K) x.y \in H
for every x not in K there exists y in K such that x.y is in H.
________________________________________________
I think it should be possible to deduce the equivalence, but might
have been proved already.
Best
A. Mani
A. Mani
[Last_Name. First_Name Format]
CU, ASL, AMS, ISRS, CLC, CMS
HomePage: http://www.logicamani.in
Blog: http://logicamani.blogspot.in/
sip:girlprofessor at ekiga.net
More information about the FOM
mailing list