3
$\begingroup$

I'm wondering if there are any results about definable ideals/filters on $\omega\times\omega$, $\omega\times\omega\times\omega$, etc.

To give a sense of the kind of results I might be looking for: one shining example of a result on definable ideals on a countable set is the following theorem due to Talagrand: (note that definable ideals must have the Baire property and hence b/c of 0-1 laws must be meager)

Theorem. Suppose $\mathcal{I}$ is an ideal on $\omega$ which is meager when viewed as a subset of $2^\omega$. There is a partition $\omega=\bigcup_{n<\omega}I_n$ into intervals so that any set containing infinitely many intervals does not belong to $\mathcal{I}$.

A natural two-dimensional analogue of this theorem would say that given a definable ideal $\mathcal{I}$ on $\omega\times\omega$ there is a pair of interval partitions $\omega=\bigcup_{n<\omega}I_n$ and $\omega=\bigcup_{n<\omega}J_n$ such that whenever $A\subseteq\omega\times\omega$ and ($\exists^\infty m)(\exists^\infty n) I_m\times J_n\subseteq A$ then $A$ does not belong to $\mathcal{I}$. This two-dimensional analogue does not hold generally for definable ideals but it seems conceivable there are some fairly general situations where it does.

But this is just an example; I'd be interested in any result that explores the properties definable ideals on $\omega^k$ have as multidimensional objects.

I haven't been able to find anything along these lines in the literature, but it's very possible I've been looking in the wrong places.

$\endgroup$
2
  • $\begingroup$ By a `definable' ideal, do you mean that the ideal as a set of reals is in the projective hierarchy? Or perhaps you mean that it is arithmetic? $\endgroup$ Sep 17, 2012 at 1:19
  • $\begingroup$ Any/all of the above. All the structural results in the literature on 'definable' ideals I know of would follow from determinacy. I'm willing to make large cardinal assumptions here, so I have a fairly large umbrella in mind. But if something about multidimensional ideals can be extracted from stronger definability assumptions I'd be happy to hear about them.. $\endgroup$ Sep 17, 2012 at 1:43

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.