Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
type: Item
instance of: scholarly article
title: Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic
zbMATH Open document ID: 1110.03049
author: Shunsuke Yatabe
published in: Archive for Mathematical Logic
publication date: 2007-04-19T00:00:00Z
Mathematics Subject Classification ID: 03E72
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 5145098
zbMATH Keywords: set theory
zbMATH Keywords: arithmetic
zbMATH Keywords: Łukasiewicz logic
zbMATH Keywords: comprehension principle
zbMATH Keywords: nonstandard natural numbers
MaRDI profile type: Publication
full work available at URL: s00153-007-0043-5
OpenAlex ID: W2072851234
cites work: The undecidability of Grišin's set theory
cites work: On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
cites work: Logical paradoxes for many-valued systems
cites work: Q4856963
cites work: A note on Hájek, Paris and Shepherdson's theorem
cites work: The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
DOI: 10.1007/S00153-007-0043-5
description: scientific article; zbMATH DE number 5145098