Our results follow from a single
priority scheme which we give in detail. They are (i) if an arbitrary n + 1-ary relation
over the nonnegative integers determines an n-ary function, then its canonical
extension to the isols determines a function on the cosimple isols if and only if the
function determined on the integers is an almost recursive combinatorial function,
and (ii) every countable partially ordered set can be embedded in (a) the cosimple
isols, and even more (b) the cosimple regressive isols. The remaining material
generalizes and extends these results.
