I addition to this conjecture I formulate one more similar conjecture:

Conjecture $latex a\setminus^{\ast} b = a\#b$ for arbitrary filters $latex a$ and $latex b$ on a powerset cannot be proved in ZF (without axiom of choice).

Notation (where $latex \mathfrak{F}$ is the set of filters on a powerset ordered reverse to set-theoretic inclusion):

  • $latex a\setminus^{\ast} b = \bigcap\{z\in\mathfrak{F} \,|\, a\subseteq b\cup z \}$;
  • $latex a\#b = \bigcup\{z\in\mathfrak{F} \,|\, z\subseteq a\wedge z\cap b=0 \}$.

Leave a Reply

Your email address will not be published. Required fields are marked *