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 Hájek’s theorem with a very simple procedure.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Cantini A. (2003). The undecidability of Grišin’s set theory. Stud. Log. 74: 345–368
Hájek P. (2001). Metamathematics of Fuzzy Logic. Kluwer, Dordrecht
Hájek P. (2005). On arithmetic in the Cantor-Łukasiewicz fuzzy set theory. Arch. Math. Log. 44: 763–82
Moh S.-K. (1954). Logical paradoxes for many-valued systems. J. Symbolic Log. 19: 37–40
Restall G. (1993). Arithmetic and truth in Łukasiewicz’s infinitely valued logic. Log. Anal. 36: 25–38
Yatabe S. (2005). A note on Hajek, Paris and Shepherdson’s theorem. Log. J. IGPL 13: 261–266
White R.B. (1979). The consistency of the axiom of comprehension in the infinite-valued predicate logic of Łukasiewicz. J. Philos. Log. 8: 509–534
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Yatabe, S. Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic. Arch. Math. Logic 46, 281–287 (2007). https://doi.org/10.1007/s00153-007-0043-5
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-007-0043-5