More nonamalgamable forcing extensions
Miha E. Habi\v{c}, Charles Weng, Cathy Zhang
TL;DR
This paper extends previous work on nonamalgamable forcing extensions to broader classes of posets and introduces a new coding method using filter-based Mathias forcing to achieve nonamalgamability.
Contribution
It generalizes nonamalgamability results to families of posets with wide projections and presents a novel coding approach via filter-based Mathias forcing.
Findings
Extended nonamalgamability to families of posets with wide projections
Introduced a new coding method using filter-based Mathias forcing
Achieved nonamalgamable extensions through novel coding techniques
Abstract
We extend the results of arXiv:1808.01509 on nonamalgamable forcing extensions to families of posets with wide projections. We also use a different coding method to obtain nonamalgamable extensions by filter-based Mathias forcing.
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 · Homotopy and Cohomology in Algebraic Topology · Logic, programming, and type systems