Filter-Laver measurability
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\).
- Almost disjoint refinements and mixing reals
- Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals
- Combinatorics on ideals and forcing with trees
- Complexity of Ramsey null sets
- Every filter is homeomorphic to its square
- Forcing absoluteness and regularity properties
- Full-splitting Miller trees and infinitely often equal reals
- Hechler reals
- scientific article; zbMATH DE number 722611 (Why is no real title available?)
- scientific article; zbMATH DE number 787541 (Why is no real title available?)
- ISOLATING CARDINAL INVARIANTS
- Mathias-Prikry and Laver-Prikry type forcing
- On the separation of regularity properties of the reals
- On Tree Ideals
- Polarized partitions on the second level of the projective hierarchy
- Silver Measurability and its relation to other regularity properties
- Solovay-type characterizations for forcing-algebras
- Strongly dominating sets of reals
- Strongly unbounded and strongly dominating sets of reals generalized
- Ultrafilters on 𝜔-their ideals and their cardinal characteristics
- Une méthode topologique pour l'étude de la propriété de Ramsey
This page was built for publication: Filter-Laver measurability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2401562)
