Timeline for Logical axioms used in the construction of counterexamples to ISP
Current License: CC BY-SA 4.0
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jul 13, 2020 at 6:22 | comment | added | Manuel Norman | Thank you very much! | |
Jul 12, 2020 at 22:52 | comment | added | Yemon Choi | Put it this way: if I want to "suppose that we can prove (maybe under ZFC?) that the invariant subspace problem (ISP) holds for all infinite dimensional complex Banach spaces" I think it would just be quicker for me to suppose 1=0 (ex falso quodlibet) | |
Jul 12, 2020 at 22:51 | comment | added | Yemon Choi | I am almost certain that Read's construction on $\ell_1$ works in ZFC and I am reasonably confident that Enflo's does. Note that the ISP is only interesting for separable Banach spaces, and is in some sense really a statement about separable subalgebras of B(E), so I do not see any reason to expect independence from ZFC | |
Jul 12, 2020 at 16:46 | history | asked | Manuel Norman | CC BY-SA 4.0 |