Nonexistence of iterated countable meets and joins in the nowhere centered quotient

From papers

Let β=n0<ωn1<ωωk1×A(n0,n1,,nk1)\beta=\bigwedge_{n_0<\omega}\bigvee_{n_1<\omega}\cdots\omega^{k-1}\times A_{(n_0,n_1,\ldots,n_{k-1})} be the indicated iterated operation on a family of sets {Axxωk}[ω]ω\{A_{\overline{x}}\mid\overline{x}\in\omega^k\}\subseteq[\omega]^\omega, where 2k<ω2\leq k<\omega. Iterated-operation conjecture. For every integer kk with 2k<ω2\leq k<\omega, there exists such a family for which β\beta does not exist in P(ωk)/NCk\mathcal{P}(\omega^k)/\mathcal{NC}^k. This would identify a limitation on iterating countable joins and meets in the nowhere centered quotient; the supplied text does not state whether the claim is known or open.

Progress summary

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

Sources & referencesView supporting material

Primary source

Mario Jardón Santos, “Small infinite partitions and other features of the Nowhere Centered ideal”, arXiv:2203.00234 (2022).

Solutions 0

No solutions have been posted yet.