K-trivials are NCR 7Z12QX7837
| URI | m2://res/7Z12QX7837 |
|---|---|
| Kind | preprint |
| Creators | Antonio Montalban, Theodore A. Slaman |
| Date | 2008-12-09 |
| MSC | 03-XX |
| Subjects | arxiv math.LO |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2008-12-09 |
| Ids | arXiv 0812.1600, zbl_id 900054823 |
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 |
|---|---|---|---|
| Reimann and Slaman | statement | theorem 1.7 | arxiv |
| Nies , strengthening Chaitin | statement | theorem 1.9 | arxiv |
| 7N5CY2K8DZ | definition | definition 1.8 | arxiv |
| 8BH1V12EEV | definition | definition 1.4 | arxiv |
| 8DHCQM1DW9 | definition | definition 1.5 | arxiv |
| 9CMNTFRJ1V | definition | definition 1.1 | arxiv |
| FD0RQR8VVM | definition | definition 1.3 | arxiv |
| NHHNFK7TJE | definition | definition 1.2 | arxiv |
| QGW7W1YS9Z | definition | definition 1.6 | arxiv |
| T92G5Y5PCE | statement | theorem 2.1 | arxiv |
| VK7QW68ZKW | statement | theorem 1.10 | arxiv |
Catalogue records
- arxiv: 0812.1600 (work)
- arxiv_text: 0812.1600 (work)
- zbmath_search: 900054823 (work)