http://reply.papertrans.cn/1/19/1854/1854-31.png
http://reply.papertrans.cn/1/19/1854/1854-32.png
Submitted on: 30 January 2005.
Revised on: 27 March 2005.
Accepted on: 21 April 2005.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1854/1854-34.png
http://reply.papertrans.cn/1/19/1854/1854-35.png
http://reply.papertrans.cn/1/19/1854/1854-36.png