Mathematical Logic and ApplicationsJapan) Logic Meeting (1987 Kyoto, T. A. Slaman, J. Shinoda, T. Tugue₹3,682