Filter-Laver measurability

We study σ-ideals and regularity properties related to the “filter-Laver” and “dual-filter-Laver” forcing partial orders. An important innovation which enables this study is a dichotomy theorem proved recently by Miller [19].