An ordinal analysis of CM and its extensions
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910794210344960 |
|---|---|
| author | Wang, Shuwei |
| author_facet | Wang, Shuwei |
| contents | In arXiv:0905.1675, Nik Weaver proposed a novel intuitionistic formal theory of third-order arithmetic as a formalisation of his philosophical position known as mathematical conceptualism. In this paper, we will construct a realisability model from the partial combinatory algebra of $Σ^1_1$-definable partial functions and use it to provide an ordinal analysis of this formal theory. Additionally, we will examine possible extensions to this system by adding well-ordering axioms, which are briefly mentioned but never thoroughly studied in Weaver's work. We aim to use the realisability arguments to discuss how much such extensions constitute an increase from the original theory's proof-theoretic strength. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_12631 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | An ordinal analysis of CM and its extensions Wang, Shuwei Logic 03F25 (Primary) 03F35, 03F55 (Secondary) In arXiv:0905.1675, Nik Weaver proposed a novel intuitionistic formal theory of third-order arithmetic as a formalisation of his philosophical position known as mathematical conceptualism. In this paper, we will construct a realisability model from the partial combinatory algebra of $Σ^1_1$-definable partial functions and use it to provide an ordinal analysis of this formal theory. Additionally, we will examine possible extensions to this system by adding well-ordering axioms, which are briefly mentioned but never thoroughly studied in Weaver's work. We aim to use the realisability arguments to discuss how much such extensions constitute an increase from the original theory's proof-theoretic strength. |
| title | An ordinal analysis of CM and its extensions |
| topic | Logic 03F25 (Primary) 03F35, 03F55 (Secondary) |
| url | https://arxiv.org/abs/2501.12631 |