Countable sums in ZF

Mikhail Katz katzmik at macs.biu.ac.il
Wed Aug 12 04:43:51 EDT 2020


Hi Tim,

Thanks for mentioning our result.

Just a small correction: we don't literally prove that the result on a
positive function "requires countable choice".

What we show is that it cannot be proved in ZF.

Conceivably weaker forms of AC could be sufficient to establish the
result but we haven't thought about that.

Perhaps folks at FoM could share their insights.

MK




More information about the FOM mailing list