Filter-Laver measurability (Q2401562)

Let \(F\) be a filter on \(\omega\) and \(F^+=\{a\subseteq\omega:\omega\setminus a\notin F\}\). An \(F\)-Laver tree is a tree \(T\subseteq\omega^{<\omega}\) such that \(\{n\in\omega:s^\frown\langle n\rangle\}\in F\) for all \(s\in T\) extending the stem of \(T\). An \(F^+\)-Laver tree is defined in the same way. Let \(\mathbb L_F\) and \(\mathbb L_{F^+}\) denote the partial orders of \(F\)-Laver and \(F^+\)-Laver trees, respectively, ordered by inclusion. Then \(\mathbb L_F\) is \(\sigma\)-centered and \(\mathbb L_{F^+}\) satisfies axiom A. Let \(\mathbb P\) be either \(\mathbb L_F\) or \(\mathbb L_{F^+}\). In a natural way, a \(\sigma\)-ideal \(\mathcal I_{\mathbb P}\) and a \(\sigma\)-algebra of \(\mathbb P\)-measurable sets are associated to \(\mathbb P\) (i.e., the meager ideal and the Baire property for a concrete topology in the case of \(\mathbb L_F\) and a Marczewski-like ideal and a Marczewski-like \(\sigma\)-algebra in the case of \(\mathbb L_{F^+}\)) such that analytic sets belong to this \(\sigma\)-algebra. The dichotomy for analytic sets, proved for Hechler and Laver forcing by \textit{A. Miller} [``Hechler and Laver trees'', Preprint, \url{arXiv:1204.5198}], can be easily generalized for \(\mathbb P\) and this simplifies the membership relation in \(\mathcal I_{\mathbb P}\). This dichotomy is applied in the study of the strength of the hypotheses of the form \(\Gamma(\mathbb P)\) stating that every set of the pointclass \(\Gamma\) is \(\mathbb P\)-measurable for \(\Gamma\) from the projective hierarchy. Far more results of this form are obtained for analytic filters \(F\).