TOPOLOGICAL FRAMEWORK FOR FINITE INJURY (Q4295229)
From MaRDI portal
scientific article; zbMATH DE number 584629
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | TOPOLOGICAL FRAMEWORK FOR FINITE INJURY |
scientific article; zbMATH DE number 584629 |
Statements
TOPOLOGICAL FRAMEWORK FOR FINITE INJURY (English)
0 references
8 June 1994
0 references
abstract version of the finite injury method
0 references
Baire category theorem
0 references
Friedberg-Muchnick pair of recursively enumerable degrees
0 references
Sacks splitting theorem
0 references
Shoenfield jump theorem
0 references
