Hierarchies of Subsystems of Weak Arithmetic H4D4RFNH2V
| URI | m2://res/H4D4RFNH2V |
|---|---|
| Kind | preprint |
| Creators | Shahram Mohsenipour |
| Date | 2010-03-10 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2010-03-10 |
| Ids | arXiv 1003.2117 |
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 |
|---|---|---|---|
| 15HWEWSE7K | definition | definition 3.2 | arxiv |
| Macintyre-Marker , Lemma 3.27 | statement | lemma 3.13 | arxiv |
| 2S1Q90ACFT | statement | theorem 3.4 | arxiv |
| 3DVQEX9YQ7 | statement | theorem 3.9 | arxiv |
| 3S416902F3 | statement | lemma 3.14 | arxiv |
| Smith , Theorems 6.8. and 6.10. | statement | theorem 3.5 | arxiv |
| Boughattas | statement | theorem 2.4 | arxiv |
| BJFTSRJAZ7 | statement | theorem 3.8 | arxiv |
| Boughattas | statement | theorem 2.2 | arxiv |
| Shepherdson | statement | theorem 2.1 | arxiv |
| Smith , Lemma 3.8. | statement | lemma 3.11 | arxiv |
| Smith , Theorem 1.5. | statement | theorem 3.7 | arxiv |
| GY1AAXGF76 | statement | theorem 3.6 | arxiv |
| Boughattas | statement | theorem 1.1 | arxiv |
| JDA9253D1K | statement | lemma 3.12 | arxiv |
| JZZQK8WP8R | statement | theorem 3.10 | arxiv |
| PGQYN6Y3BF | statement | lemma 3.3 | arxiv |
| Boughattas | statement | theorem 3.15 | arxiv |
| Q4FFBHSFYT | definition | definition 2.3 | arxiv |
| R5DFS36WF5 | statement | lemma 3.1 | arxiv |
| Boughattas , Theorem 2 | statement | theorem 1.2 | arxiv |
| Boughattas , Lemma 5 | statement | theorem 1.3 | arxiv |
Catalogue records
- arxiv: 1003.2117 (work)
- arxiv_text: 1003.2117 (work)