I addition to this conjecture I formulate one more similar conjecture: Conjecture for arbitrary filters and on a powerset cannot
Continue readingTag: ZFC
Conjecture: Distributivity of a lattice of funcoids is not provable without axiom of choice
Conjecture Distributivity of the lattice of funcoids (for arbitrary sets and ) is not provable in ZF (without axiom of
Continue readingGeneralization in ZF
I wrote short article “Generalization in ZF” accompanied with Isabelle/ZF sources. This is a draft and alpha. I await your
Continue reading