No label defined (Q4944907)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1420839
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1420839 |
Statements
3 December 2000
0 references
definability
0 references
rigidity
0 references
bi-interpretability conjecture
0 references
The author, a prominent scientist and specialist in recursion theory, reminds us of the talk given by H. Rogers at the 1965 Tenth European Logic Colloquium and analyzes the problems raised there and their influence on the further development of recursion theory. Especially, the problems of definability and rigidity are discussed. For the entire collection see [Zbl 0932.00038].
0 references