Submitted on: 27 February 2010.
Revised on: 08 May 2010.
Accepted on: 29 May 2010.
___________________BULLETIN OF SYMBOLIC LOGIC---CAMBRIDGE UNIV PRESS
http://reply.papertrans.cn/1/44/4341/4341-32.png
http://reply.papertrans.cn/1/44/4341/4341-33.png
http://reply.papertrans.cn/1/44/4341/4341-34.png
Submitted on: 29 March 2004.
Revised on: 26 May 2004.
Accepted on: 11 June 2004.
___________________BULLETIN OF SYMBOLIC LOGIC---CAMBRIDGE UNIV PRESS
http://reply.papertrans.cn/1/44/4341/4341-36.png