Recursive and Nonextendible Functions over the Reals; Filter Foundation for Recursive Analysis, II.

Iraj KalantariLawrence Welch
Published in: Ann. Pure Appl. Log. (1999)