http://reply.papertrans.cn/2/196/19501/19501-21.png
http://reply.papertrans.cn/2/196/19501/19501-22.png
Submitted on: 17 February 1999.
Revised on: 17 May 1999.
Accepted on: 07 July 1999.
___________________JOURNAL OF SYMBOLIC LOGIC---CAMBRIDGE UNIV PRESS
http://reply.papertrans.cn/2/196/19501/19501-24.png
Submitted on: 31 May 2014.
Revised on: 15 August 2014.
Accepted on: 09 October 2014.
___________________JOURNAL OF SYMBOLIC LOGIC---CAMBRIDGE UNIV PRESS
http://reply.papertrans.cn/2/196/19501/19501-26.png
http://reply.papertrans.cn/2/196/19501/19501-27.png
http://reply.papertrans.cn/2/196/19501/19501-28.png
Submitted on: 01 April 2015.
Revised on: 30 April 2015.
Accepted on: 25 May 2015.
___________________JOURNAL OF SYMBOLIC LOGIC---CAMBRIDGE UNIV PRESS
Submitted on: 08 February 2011.
Revised on: 23 May 2011.
Accepted on: 05 June 2011.
___________________JOURNAL OF SYMBOLIC LOGIC---CAMBRIDGE UNIV PRESS