Switch to: References

Add citations

You must login to add citations.
  1. Some applications of computable one-one numberings.Martin Kummer - 1990 - Archive for Mathematical Logic 30 (4):219-230.
    We present a simple proof of a Theorem of Khutoretskij on the number of incomparable one-one numberings of an r.e. family of r.e. sets. The proof directly generalizes to effective domains. In the second part, applying a Theorem of Goncharov, we show that for anyk≧ there exist total recursive functions having exactlyk recursive isomorphism classes. Using a Theorem of Selivanov, it is shown that a certain notion of computability via gödelization is different from Lacombe's notion ofV-recursiveness. Finally, we discuss the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation