Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2504.07455 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916683127455744 |
|---|---|
| author | Philips, David |
| author_facet | Philips, David |
| contents | If the Continuum Hypothesis is false, it implies the existence of cardinalities between the integers and the real numbers. In studying these "cardinal characteristics of the continuum", it was discovered that many of the associated inequalities can be interpreted as morphisms within the "Galois-Tukey" category. This thesis aims to reformulate traditional direct proofs of cardinal characteristic inequalities by making the underlying morphisms explicit. New, purely categorical results are also discussed. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_07455 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Explicit Morphisms in the Galois-Tukey Category Philips, David Logic If the Continuum Hypothesis is false, it implies the existence of cardinalities between the integers and the real numbers. In studying these "cardinal characteristics of the continuum", it was discovered that many of the associated inequalities can be interpreted as morphisms within the "Galois-Tukey" category. This thesis aims to reformulate traditional direct proofs of cardinal characteristic inequalities by making the underlying morphisms explicit. New, purely categorical results are also discussed. |
| title | Explicit Morphisms in the Galois-Tukey Category |
| topic | Logic |
| url | https://arxiv.org/abs/2504.07455 |