No label defined (Q5711895)
From MaRDI portal
scientific article; zbMATH DE number 2236644
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2236644 |
Statements
8 December 2005
0 references
diagonalization
0 references
WKL0
0 references
complete theory
0 references
completion
0 references
\(n\)-trial and error
0 references
decidability
0 references
reverse mathematics
0 references
