http://reply.papertrans.cn/1/19/1852/1852-31.png
http://reply.papertrans.cn/1/19/1852/1852-32.png
Submitted on: 08 November 2007.
Revised on: 03 January 2008.
Accepted on: 17 January 2008.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1852/1852-34.png
http://reply.papertrans.cn/1/19/1852/1852-35.png
http://reply.papertrans.cn/1/19/1852/1852-36.png