Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated

Claims

../

1984_09_01_just_krawczyk: Just and Krawczyk (Trans. Amer. Math. Soc., 1984) prove under the continuum hypothesis that the algebras of sets of integers modulo density zero and modulo logarithmic density zero are isomorphic, so ZFC cannot prove otherwise.

2000_01_01_farah: Farah (Mem. Amer. Math. Soc., 2000) proves that the Open Coloring Axiom with Martin's Axiom makes the two density quotient algebras non-isomorphic; with Just and Krawczyk's isomorphism under CH, the problem is independent of ZFC.