Countable strict reverse mathematics V2G422ZMPW
| URI | m2://res/V2G422ZMPW |
|---|---|
| Kind | preprint |
| Creators | Ilnur Batyrshin |
| Date | 2022-08-31 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2022-08-31 |
| Ids | arXiv 2209.00108 |
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 |
|---|---|---|---|
| Friedman | definition | definition 7 | arxiv |
| Friedman | definition | definition 2 | arxiv |
| Friedman | statement | lemma 9 | arxiv |
| 4JZD6ZPS8S | definition | definition 4 | arxiv |
| Friedman | definition | definition 5 | arxiv |
| 63MFFC84HR | definition | definition 3 | arxiv |
| 77S2CX3QSH | statement | corollary 1 | arxiv |
| 938NJFS5T5 | statement | theorem 1 | arxiv |
| Friedman | definition | definition 1 | arxiv |
| Friedman | definition | definition 6 | arxiv |
| G2FXSMDF3C | statement | lemma 13 | arxiv |
| HQFH8JHCSK | statement | corollary 2 | arxiv |
| Friedman | definition | definition 8 | arxiv |
| Friedman | statement | lemma 3 | arxiv |
| Friedman | statement | lemma 10 | arxiv |
| Friedman | statement | lemma 11 | arxiv |
| Friedman | statement | lemma 8 | arxiv |
| Friedman | statement | lemma 6 | arxiv |
| T47GK2X3TD | statement | lemma 2 | arxiv |
| Friedman | statement | lemma 7 | arxiv |
| W2Y312Q9ZA | statement | lemma 4 | arxiv |
| X03PJ8GXMN | statement | theorem 2 | arxiv |
| Friedman | statement | lemma 1 | arxiv |
| ZD9P6QS01M | statement | lemma 5 | arxiv |
| Friedman | statement | lemma 12 | arxiv |
Catalogue records
- arxiv: 2209.00108 (work)
- arxiv_text: 2209.00108 (work)