Forcing, genericity and CBERS
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918291270795264 |
|---|---|
| author | Calderoni, Filippo Sinapova, Dima |
| author_facet | Calderoni, Filippo Sinapova, Dima |
| contents | In this paper we continue the study of equivalence of generics filters started by Smythe in [Smy22]. We fully characterize those forcing posets for which the corresponding equivalence of generics is smooth using the purely topological property of condensation. Next we leverage our characterization to show that there are non-homogeneous forcing for which equivalence of generics is not smooth. Then we prove hyperfiniteness in the case of Prikry forcing and some additional results addressing the problem whether generic equivalence for Cohen forcing is hyperfinite. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2503_14811 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Forcing, genericity and CBERS Calderoni, Filippo Sinapova, Dima Logic 03E15, 03E40 In this paper we continue the study of equivalence of generics filters started by Smythe in [Smy22]. We fully characterize those forcing posets for which the corresponding equivalence of generics is smooth using the purely topological property of condensation. Next we leverage our characterization to show that there are non-homogeneous forcing for which equivalence of generics is not smooth. Then we prove hyperfiniteness in the case of Prikry forcing and some additional results addressing the problem whether generic equivalence for Cohen forcing is hyperfinite. |
| title | Forcing, genericity and CBERS |
| topic | Logic 03E15, 03E40 |
| url | https://arxiv.org/abs/2503.14811 |