A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods (Q4750638)
From MaRDI portal
scientific article; zbMATH DE number 3807605
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods |
scientific article; zbMATH DE number 3807605 |
Statements
1983
0 references
Peano's arithmetic
0 references
recursion theoretic hierarchies
0 references
A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods (English)
0 references
