Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2501.09566 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910787035987968 |
|---|---|
| author | Hughes, Noah A. |
| author_facet | Hughes, Noah A. |
| contents | Restricting the chain-antichain principle CAC to partially ordered sets which respect the natural ordering of the integers is a trivial distinction in the sense of classical reverse mathematics. We utilize computability-theoretic reductions to formally establish distinguishing characteristics of CAC and the aforementioned restriction to elaborate on the apparent differences obfuscated over RCA0. Stable versions of both principles are also analyzed in this way. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_09566 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Variants of the chain-antichain principle in reverse mathematics Hughes, Noah A. Logic 03D80 Restricting the chain-antichain principle CAC to partially ordered sets which respect the natural ordering of the integers is a trivial distinction in the sense of classical reverse mathematics. We utilize computability-theoretic reductions to formally establish distinguishing characteristics of CAC and the aforementioned restriction to elaborate on the apparent differences obfuscated over RCA0. Stable versions of both principles are also analyzed in this way. |
| title | Variants of the chain-antichain principle in reverse mathematics |
| topic | Logic 03D80 |
| url | https://arxiv.org/abs/2501.09566 |