Switch to: References

Add citations

You must login to add citations.
  1. ∑1 definitions with parameters.T. A. Slaman - 1986 - Journal of Symbolic Logic 51 (2):453-461.
    Let p be a set. A function φ is uniformly σ 1 (p) in every admissible set if there is a σ 1 formula φ in the parameter p so that φ defines φ in every σ 1 -admissible set which includes p. A theorem of Van de Wiele states that if φ is a total function from sets to sets then φ is uniformly σ 1R in every admissible set if anly only if it is E-recursive. A function is (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation