Arithmetical independence results using higher recursion theory (Q5313376)
From MaRDI portal
scientific article; zbMATH DE number 2199909
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Arithmetical independence results using higher recursion theory |
scientific article; zbMATH DE number 2199909 |
Statements
Arithmetical independence results using higher recursion theory (English)
0 references
29 August 2005
0 references
models of arithmetic
0 references
independence
0 references
