http://reply.papertrans.cn/1/19/1854/1854-11.png
Submitted on: 16 March 2000.
Revised on: 14 May 2000.
Accepted on: 19 June 2000.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1854/1854-13.png
http://reply.papertrans.cn/1/19/1854/1854-14.png
Submitted on: 18 January 1999.
Revised on: 22 April 1999.
Accepted on: 24 May 1999.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1854/1854-16.png
http://reply.papertrans.cn/1/19/1854/1854-17.png
Submitted on: 29 January 2022.
Revised on: 28 March 2022.
Accepted on: 26 April 2022.
___________________ANNALS OF PURE AND APPLIED LOGIC
Submitted on: 07 June 2002.
Revised on: 17 September 2002.
Accepted on: 23 October 2002.
___________________ANNALS OF PURE AND APPLIED LOGIC
http://reply.papertrans.cn/1/19/1854/1854-20.png