Explicit Morphisms in the Galois-Tukey Category
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |