Our paper deals with isols that can be represented as a finite sum of regressive isols, and with recursive functions of one variable that have canonical extensions that map isols such as these into the isols.
© Copyright 1981 Pacific Journal of Mathematics. All rights reserved.