Biba's trick, with applications
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _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 |