"Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic"

最初に2月に「数学的論理学記録保管所(AML)」に投稿し、9/25に再投稿した論文について、夜に編集者からメールがあり、acceptされたそうだ。やった！！おめでとう自分！！
書き始めは昨年12月、2月に投稿しちょくちょく書き直していたもの。プラハで編集者のHajek教授と議論したおかげで修正ポイントが明確になったのが効いたようだ。なお、abstractは以下の通り。

In H, a set theory with the comprehension principle within Lukasiewicz infinite-valued predicate logic, we prove that a statement which can be interpreted as "there is an infinite descending sequence of initial segments of ω" is truth value 1 in any model of H, and we prove an analogy of Hajek's theorem with a very simple procedure.

pdfファイルを大学のサイトにおいてあります。興味のある方はどうぞご覧ください。