Switch to: References

Add citations

You must login to add citations.
  1. Factors of Functions, AC and Recursive Analogues.Wolfgang Degen - 2002 - Mathematical Logic Quarterly 48 (1):73-86.
    We investigate certain statements about factors of unary functions which have connections with weak forms of the axiom of choice. We discuss more extensively the fine structure of Howard and Rubin's Form 314 from [4]. Some of our set-theoretic results have also interesting recursive versions.
    Download  
     
    Export citation  
     
    Bookmark  
  • Two Conjugate Primitive Recursive Permutations not Conjugate by a Primitive Recursive Permutation.Mark Finkelstein - 1971 - Mathematical Logic Quarterly 17 (1):1-3.
    Download  
     
    Export citation  
     
    Bookmark