Proofs that Modify Proofs, 1/2 P9J6P06Y40
| URI | m2://res/P9J6P06Y40 |
|---|---|
| Kind | preprint |
| Creators | Henry Towsner |
| Date | 2025-06-19 |
| MSC | 03-XX |
| Subjects | arxiv math.LO, arxiv cs.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2025-06-19 |
| Ids | arXiv 2506.16491 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 1Z0EM26Y7E | statement | lemma 4.17 | arxiv |
| 27DM20K1KM | definition | definition 2.10 | arxiv |
| 29HMJF4TQQ | definition | definition 4.15 | arxiv |
| $\vee$ Elimination | statement | lemma 4.9 | arxiv |
| 2NKC4ZXWHK | statement | lemma 6.2 | arxiv |
| 2Z9HPFCDR8 | definition | definition 2.2 | arxiv |
| 324VAJGTR3 | statement | theorem 4.12 | arxiv |
| 3SEYR446QN | definition | definition 5.2 | arxiv |
| 4FMKB9BP6P | statement | lemma 6.4 | arxiv |
| 5T7ASWZZ5D | statement | lemma 6.6 | arxiv |
| 5TJKSAEMDX | statement | lemma 6.7 | arxiv |
| 5V9ZN0008F | statement | lemma 4.22 | arxiv |
| 675YJK8YMP | definition | definition 4.20 | arxiv |
| 71450P9CK9 | definition | definition 2.3 | arxiv |
| 81T7A3NESG | definition | definition 5.1 | arxiv |
| 85W9GBXQ9S | statement | lemma 4.18 | arxiv |
| 8CRKGB3FW6 | statement | theorem 5.12 | arxiv |
| $\bot$ Inversion | statement | lemma 4.6 | arxiv |
| 8VR6WFKSZQ | statement | theorem 6.11 | arxiv |
| 9XM484ZJX4 | statement | lemma 4.25 | arxiv |
| APME3ZXHRX | statement | lemma 5.9 | arxiv |
| B1EVMH7X45 | definition | definition 2.1 | arxiv |
| BBV1V1BATT | definition | definition 2.6 | arxiv |
| CVHBQFA20B | definition | definition 2.8 | arxiv |
| CZJEA5JQ1Z | statement | lemma 4.4 | arxiv |
| D74KYR1V2E | definition | definition 2.5 | arxiv |
| D7D698432P | statement | theorem 5.16 | arxiv |
| EB7SZBJY7Q | statement | lemma 4.24 | arxiv |
| EECWMGHXG8 | statement | lemma 4.19 | arxiv |
| EG6Z73KCAH | statement | theorem 4.5 | arxiv |
| EKQZBQ3ERH | statement | theorem 3.5 | arxiv |
| $\wedge$ Inversion | statement | lemma 4.7 | arxiv |
| $\exists$ Elimination | statement | lemma 4.10 | arxiv |
| FAPH6R14JB | statement | lemma 6.3 | arxiv |
| FG791B2RAY | statement | theorem 5.11 | arxiv |
| FHGRTSBTFW | definition | definition 4.13 | arxiv |
| GAPBQSDDCP | definition | definition 6.5 | arxiv |
| GBNQ6H7CV4 | statement | lemma 4.26 | arxiv |
| GNYXXJDW61 | statement | theorem 5.17 | arxiv |
| GQMTGVD3DJ | definition | definition 2.11 | arxiv |
| H9MH7RS22V | definition | definition 5.3 | arxiv |
| HDXRF1Z1Y1 | definition | definition 2.13 | arxiv |
| J7ZGV9ZPWQ | definition | definition 5.5 | arxiv |
| JTZEJBQ8DK | definition | definition 5.13 | arxiv |
| JXV6HYP4VR | statement | lemma 6.8 | arxiv |
| JZAYQSRQT5 | statement | lemma 5.14 | arxiv |
| KAWT79QG4Y | statement | lemma 5.15 | arxiv |
| KB2YJ2CZSV | definition | definition 4.16 | arxiv |
| N09HQWPP04 | definition | definition 3.6 | arxiv |
| N3RV1PRFVQ | statement | lemma 4.3 | arxiv |
| PT9J5DMY1N | definition | definition 3.4 | arxiv |
| QD0664MDFT | definition | definition 6.1 | arxiv |
| QZYMQ742W8 | definition | definition 2.4 | arxiv |
| $\forall$ Inversion | statement | lemma 4.8 | arxiv |
| RF8WTZ7G9G | statement | lemma 5.6 | arxiv |
| RFGBWJDWFN | statement | lemma 6.9 | arxiv |
| $\mu$ Elimination | statement | lemma 4.11 | arxiv |
| RY441TKEDT | definition | definition 2.9 | arxiv |
| S2M1ANZSZ1 | definition | definition 3.1 | arxiv |
| SFGFFG7X69 | statement | theorem 4.14 | arxiv |
| VM0E7HTCTJ | statement | lemma 4.27 | arxiv |
| VTZF2XBV9X | definition | definition 2.12 | arxiv |
| WBQ6X9MC46 | definition | definition 3.2 | arxiv |
| WCVXZZ8F34 | statement | lemma 5.7 | arxiv |
| WFF2GASBRY | statement | lemma 4.2 | arxiv |
| WWEWB7CK8V | definition | definition 4.1 | arxiv |
| XACFNM22K8 | statement | lemma 4.21 | arxiv |
| XQ0Y2CFTXD | definition | definition 3.3 | arxiv |
| XQKHJEXX9S | statement | theorem 6.10 | arxiv |
| YDRY25R3AP | statement | lemma 5.10 | arxiv |
| Z6JE6SB6XC | statement | lemma 5.4 | arxiv |
| ZJBDA6S42Q | statement | theorem 4.28 | arxiv |
| ZK3P9XQ4AW | statement | lemma 4.23 | arxiv |
| ZREFPPP8J1 | definition | definition 5.8 | arxiv |
| ZTAAX2FQT2 | definition | definition 3.7 | arxiv |
| ZZ15BST9QZ | definition | definition 2.7 | arxiv |
Catalogue records
- arxiv: 2506.16491 (work)
- arxiv_text: 2506.16491 (work)