The diamond principle conjecture for mad families of block subspaces

About 9 years old · traced to

Let FF be a countable field, and let ♢(ωω,=∞)\diamondsuit(\omega^\omega,=^\infty) denote the parameterized diamond principle appearing in the source. Diamond principle conjecture. If ♢(ωω,=∞)\diamondsuit(\omega^\omega,=^\infty) holds, then there is a mad family of block subspaces of cardinality ℵ1\aleph_1, and consequently avec,F=ℵ1\mathfrak{a}_{\mathrm{vec},F}=\aleph_1. This is presented as the suspected correct diamond principle for determining when avec,F=ℵ1\mathfrak{a}_{\mathrm{vec},F}=\aleph_1, in contrast with the corresponding principle for ordinary mad families; its status is not resolved in the supplied text.

References

Primary source

Iian B. Smythe, “Madness in vector spaces”, arXiv:1712.00057 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.