UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES (Q4579805)
From MaRDI portal
scientific article; zbMATH DE number 6915712
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES |
scientific article; zbMATH DE number 6915712 |
Statements
UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES (English)
0 references
10 August 2018
0 references
relative computable categoricity
0 references
effective Polish space
0 references
admissible recursion theory
0 references
