Distributivity of a lattice of funcoids is not provable without axiom of choice

Author(s): Porton

Conjecture   Distributivity of the lattice $ \mathsf{FCD}(A;B) $ of funcoids (for arbitrary sets $ A $ and $ B $) is not provable in ZF (without axiom of choice).

A similar conjecture:

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

Keywords: axiom of choice; distributive lattice; distributivity; funcoid; reverse math; reverse mathematics; ZF; ZFC

Syndicate content