Forcing and classes of $\mathsf{HYP}$-dominating functions
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911663767158784 |
|---|---|
| author | Greenberg, Noam Osso, Gian Marco |
| author_facet | Greenberg, Noam Osso, Gian Marco |
| contents | We study the question, what computational power is sufficient to perform constructions using either Laver or Hechler forcing. As a result, we obtain a separation between three relativised non-lowness classes that are the computability-theoretic analogues of three of the cardinals in Cichon's diagram. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_03391 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Forcing and classes of $\mathsf{HYP}$-dominating functions Greenberg, Noam Osso, Gian Marco Logic 03D60, 03E17 We study the question, what computational power is sufficient to perform constructions using either Laver or Hechler forcing. As a result, we obtain a separation between three relativised non-lowness classes that are the computability-theoretic analogues of three of the cardinals in Cichon's diagram. |
| title | Forcing and classes of $\mathsf{HYP}$-dominating functions |
| topic | Logic 03D60, 03E17 |
| url | https://arxiv.org/abs/2602.03391 |