COMPARING THE STRENGTH OF DIAGONALLY NONRECURSIVE FUNCTIONS IN THE ABSENCE OF INDUCTION (Q2795915)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | COMPARING THE STRENGTH OF DIAGONALLY NONRECURSIVE FUNCTIONS IN THE ABSENCE OF INDUCTION |
scientific article |
Statements
COMPARING THE STRENGTH OF DIAGONALLY NONRECURSIVE FUNCTIONS IN THE ABSENCE OF INDUCTION (English)
0 references
22 March 2016
0 references
reverse mathematics
0 references
DNR
0 references
WKL
0 references
nonstandard models of arithmetic
0 references
diagonally nonrecursive functions
0 references
graph colouring
0 references
0 references
0 references
