On Sunday, June 1, 2003, at 03:25 AM, A.P. Hazen wrote: > (And, for another addition: didn't Martin-Löf overstep at one stage > and > propose a type of types?) M-L's paper, though possibly widely distributed, was not published. I don't think we should give credit for a serious contribution to inconsistency to unpublished work. Best regards, Bill Tait