"Comprehension contradicts to the induction within Łukasiewicz predicate logic"

二年前の7月に中国で発表した論文*1が、紆余曲折の挙げ句、やっと「数理論理学記録保管所」誌に掲載されることとなりました。オンラインではこちらからアクセス可能です。要旨は以下の通り。

We introduce the simpler and shorter proof of Hajek’s theorem that the mathematical induction on ω implies a contradiction in the set theory with the comprehension principle within Łukasiewicz predicate logic Ł (Hajek Arch Math Logic 44(6):763–782, 2005) by extending the proof in (Yatabe Arch Math Logic,) so as to be effective in any linearly ordered MV-algebra.

短いです。short paper です。ご意見をいただければ幸いです。

*1:現在の研究所に来る前に投稿したものです。