Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2412.09716 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915378562596864 |
|---|---|
| author | Farah, Ilijas |
| author_facet | Farah, Ilijas |
| contents | We give another bit of evidence that forcing axioms provide proper framework for rigidity of quotient structures, by improving the OCA lifting theorem proved by the author in late 20th century and greatly simplifying its proof. In the assumptions of this theorem. We also extend the conclusion of author's 2004 lifting theorem from a lifting result for countably 3204-determined ideals to one for countably 80-determined ideals and weaken its assumptions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_09716 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Biba's trick, with applications Farah, Ilijas Logic We give another bit of evidence that forcing axioms provide proper framework for rigidity of quotient structures, by improving the OCA lifting theorem proved by the author in late 20th century and greatly simplifying its proof. In the assumptions of this theorem. We also extend the conclusion of author's 2004 lifting theorem from a lifting result for countably 3204-determined ideals to one for countably 80-determined ideals and weaken its assumptions. |
| title | Biba's trick, with applications |
| topic | Logic |
| url | https://arxiv.org/abs/2412.09716 |