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

Iraj Kalantari Lawrence Welch Recursive and Nonextendible Functions over the Reals; Filter Foundation for Recursive Analysis, II. 87-110 1999 98 Ann. Pure Appl. Logic 1-3 db/journals/apal/apal98.html#KalantariW99