Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic TeX Export

@article{citeulike:2909563, abstract = {Abstract\ \ In \$\${\mathbf{H}}\$\$, a set theory with the comprehension principle within {\L}ukasiewicz 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 \$\${\mathbf{H}}\$\$, and we prove an analogy of Hjek's theorem with a very simple procedure.}, author = {Yatabe, Shunsuke}, citeulike-article-id = {2909563}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/s00153-007-0043-5}, day = {23}, doi = {10.1007/s00153-007-0043-5}, journal = {Archive for Mathematical Logic}, keywords = {print, weak}, month = {April}, number = {3}, pages = {281--287}, posted-at = {2008-06-20 09:33:34}, priority = {2}, title = {Distinguishing non-standard natural numbers in a set theory within {\L}ukasiewicz logic}, url = {http://dx.doi.org/10.1007/s00153-007-0043-5}, volume = {46}, year = {2007} }

TY - JOUR ID - citeulike:2909563 L3 - citeulike-article-id:2909563 N2 - Abstract  In $${\mathbf{H}}$$, a set theory with the comprehension principle within Łukasiewicz 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 $${\mathbf{H}}$$, and we prove an analogy of Hjek’s theorem with a very simple procedure. IS - 3 JF - Archive for Mathematical Logic EP - 287 TI - Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic VL - 46 SP - 281 KW - print KW - weak AU - Yatabe, Shunsuke PY - 2007/04/23/ UR - http://dx.doi.org/10.1007/s00153-007-0043-5 ER -