Proofs that Modify Proofs, 1/2
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_ | 1866912441954205696 |
|---|---|
| author | Towsner, Henry |
| author_facet | Towsner, Henry |
| contents | This paper is a prelude and elaboration on Proofs that Modify Proofs. Here we present an ordinal analysis of a fragment of the $μ$-calculus around the strength of parameter-free $Π^1_2$-comprehension using the same approach as that paper, interpreting functions on proofs as proofs in an expanded system. We build up the ordinal analysis in several stages, beginning by illustrating the method systems at the strength of paremeter-free $Π^1_1$-comprehension and full $Π^1_1$-comprehension. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_16491 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Proofs that Modify Proofs, 1/2 Towsner, Henry Logic Logic in Computer Science This paper is a prelude and elaboration on Proofs that Modify Proofs. Here we present an ordinal analysis of a fragment of the $μ$-calculus around the strength of parameter-free $Π^1_2$-comprehension using the same approach as that paper, interpreting functions on proofs as proofs in an expanded system. We build up the ordinal analysis in several stages, beginning by illustrating the method systems at the strength of paremeter-free $Π^1_1$-comprehension and full $Π^1_1$-comprehension. |
| title | Proofs that Modify Proofs, 1/2 |
| topic | Logic Logic in Computer Science |
| url | https://arxiv.org/abs/2506.16491 |