Myhill's work in recursion theory (Q1192344): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Erik Ellentuck / rank | |||
Property / reviewed by | |||
Property / reviewed by: Hrant B. Marandjian / rank | |||
Revision as of 01:08, 23 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Myhill's work in recursion theory |
scientific article |
Statements
Myhill's work in recursion theory (English)
0 references
27 September 1992
0 references
The authors discuss, from the present-day point of view, John Myhill's contribution to recursion theory. The isomorphism theorems are presented using a new, uniform method of proof. J. Myhill's theorem on isomorphism of creative sets, the theorem on recursive equivalence (recursive analogue of Cantor-Bernstein theorem), his investigations on combinatorial functions and the application of the category method to recursion theory are thoroughly discussed. New and detailed proofs to most of these theorems are given. For example, the Myhill results stating that (i) there are isols which are neither even nor odd, and (ii) the ring \(\Lambda^*\) has zero divisors, are reproved using the Baire category theorem. A theorem on recursive combinatorial functions published by Myhill without proof is provided with a proof ``he might have done''. A short guide to the references is given.
0 references
recursive equivalence types
0 references
isomorphism theorems
0 references
creative sets
0 references
combinatorial functions
0 references
isols
0 references
Baire category
0 references