Switch to: References

Add citations

You must login to add citations.
  1. On injective enumerability of recursively enumerable classes of cofinite sets.Stephan Wehner - 1995 - Archive for Mathematical Logic 34 (3):183-196.
    To date the problem of finding a general characterization of injective enumerability of recursively enumerable (r.e) classes of r.e. sets has proved intractable. This paper investigates the problem for r.e. classes of cofinite sets. We state a suitable criterion for r.e. classesC such that there is a boundn∈ω with |ω-A|≤n for allA∈C. On the other hand an example is constructed which shows that Lachlan's condition (F) does not imply injective enumerability for r.e. classes of cofinite sets. We also look at (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation