Relations of Type α.

Published in: Math. Log. Q. (1988)