Filter-Laver Measurability
classification
🧮 math.LO
keywords
filter-lavermillerarnoldarxivdichotomydual-filter-laverenablesforcing
read the original 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]).
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.