| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4661781 | Annals of Pure and Applied Logic | 2014 | 10 Pages |
Abstract
The main topic of the present work is the relation that a set X is strongly hyperimmune-free relative to Y. Here X is strongly hyperimmune-free relative to Y if and only if for every partial X-recursive function p there is a partial Y-recursive function q such that every a in the domain of p is also in the domain of q and satisfies p(a)
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Frank Stephan, Liang Yu,