TL;DR
This paper investigates the properties of sigma-ideals and regularity in the context of filter-Laver and dual-filter-Laver forcing, utilizing a recent dichotomy theorem to advance understanding in set-theoretic forcing.
Contribution
It introduces new insights into sigma-ideals and regularity properties associated with filter-Laver forcing, leveraging Miller's dichotomy theorem for the first time in this context.
Findings
Established connections between filter-Laver forcing and sigma-ideals.
Applied Miller's dichotomy theorem to analyze regularity properties.
Enhanced understanding of the structure of filter-Laver related forcing notions.
Abstract
We study sigma-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 [1]. [1] Arnold Miller, "Hechler and Laver Trees", Preprint 2012 (arXiv:1204.5198 [math.LO]).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Rings, Modules, and Algebras · Computability, Logic, AI Algorithms