This class was introduced by Chaitin [5] and further studied by Solovay (unpublished). Note that the particular effective epresentation of a number n by a string (unary here) is irrelevant, since up to a constant K(n) is independent from the representation. A is low for Martin-Löf randomness if each Martin-Löf random set is already Martin-Löf random relative to A. This class was defined in Zamb...

We discuss how higher arity verbs such as give or promise can be treated in an algebraic framework that admits only unary and binary relations and does not rely on event variables.