http://reply.papertrans.cn/1/25/2447/2447-31.png
http://reply.papertrans.cn/1/25/2447/2447-32.png
http://reply.papertrans.cn/1/25/2447/2447-33.png
Submitted on: 17 April 2013.
Revised on: 23 June 2013.
Accepted on: 26 July 2013.
___________________ARCHIVE FOR MATHEMATICAL LOGIC
http://reply.papertrans.cn/1/25/2447/2447-35.png
Submitted on: 03 September 2023.
Revised on: 25 November 2023.
Accepted on: 12 December 2023.
___________________ARCHIVE FOR MATHEMATICAL LOGIC