PARAMETER DEFINABILITY IN THE RECURSIVELY ENUMERABLE DEGREES
NIES, ANDRÉVolume:
3
Language:
english
Journal:
Journal of Mathematical Logic
DOI:
10.1142/S0219061303000236
Date:
May, 2003
File:
PDF, 352 KB
english, 2003