scientific article; zbMATH DE number 1420839

MaRDI QIDQ4944907zbMATH OpenFDO

Authors S. Barry Cooper

Publication date 3 December 2000

zbMATH Keywords

bi-interpretability conjecturedefinabilityrigidity

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Other degrees and reducibilities in computability and recursion theory (03D30)

Review text

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].

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4944907)