Nr. 25 (2004): RS-25 On the Recursive Enumerability of Fixed-Point Combinators