Degrees of insolubility of extensions of arithmetic by true propositions (Q3813816)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Degrees of insolubility of extensions of arithmetic by true propositions |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Degrees of insolubility of extensions of arithmetic by true propositions |
scientific article |
Statements
Degrees of insolubility of extensions of arithmetic by true propositions (English)
0 references
1988
0 references
degrees of unsolvability
0 references
extensions of Peano arithmetic
0 references
Turing degree
0 references