Submitted on: 17 January 2012.
Revised on: 06 April 2012.
Accepted on: 15 May 2012.
___________________BULLETIN OF SYMBOLIC LOGIC---CAMBRIDGE UNIV PRESS
http://reply.papertrans.cn/1/44/4340/4340-22.png
http://reply.papertrans.cn/1/44/4340/4340-23.png
Submitted on: 03 December 2022.
Revised on: 02 March 2023.
Accepted on: 27 April 2023.
___________________BULLETIN OF SYMBOLIC LOGIC---CAMBRIDGE UNIV PRESS
http://reply.papertrans.cn/1/44/4340/4340-25.png
http://reply.papertrans.cn/1/44/4340/4340-26.png
http://reply.papertrans.cn/1/44/4340/4340-27.png
http://reply.papertrans.cn/1/44/4340/4340-28.png
http://reply.papertrans.cn/1/44/4340/4340-29.png
Submitted on: 04 November 2002.
Revised on: 15 February 2003.
Accepted on: 01 April 2003.
___________________BULLETIN OF SYMBOLIC LOGIC---CAMBRIDGE UNIV PRESS