{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T13:13:42Z","timestamp":1676898822792},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2007,2,21]],"date-time":"2007-02-21T00:00:00Z","timestamp":1172016000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2007,3,5]]},"DOI":"10.1007\/s00153-007-0043-5","type":"journal-article","created":{"date-parts":[[2007,2,20]],"date-time":"2007-02-20T13:39:46Z","timestamp":1171978786000},"page":"281-287","source":"Crossref","is-referenced-by-count":6,"title":["Distinguishing non-standard natural numbers in a set theory within \u0141ukasiewicz logic"],"prefix":"10.1007","volume":"46","author":[{"given":"Shunsuke","family":"Yatabe","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,2,21]]},"reference":[{"key":"43_CR1","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1023\/A:1025159016268","volume":"74","author":"A. Cantini","year":"2003","unstructured":"Cantini A. (2003). The undecidability of Gri\u0161in\u2019s set theory. Stud. Log. 74: 345\u2013368","journal-title":"Stud. Log."},{"key":"43_CR2","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"2001","unstructured":"H\u00e1jek P. (2001). Metamathematics of Fuzzy Logic. Kluwer, Dordrecht"},{"key":"43_CR3","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1007\/s00153-005-0284-0","volume":"44","author":"P. H\u00e1jek","year":"2005","unstructured":"H\u00e1jek P. (2005). On arithmetic in the Cantor-\u0141ukasiewicz fuzzy set theory. Arch. Math. Log. 44: 763\u201382","journal-title":"Arch. Math. Log."},{"key":"43_CR4","doi-asserted-by":"crossref","first-page":"37","DOI":"10.2307\/2267648","volume":"19","author":"S.-K. Moh","year":"1954","unstructured":"Moh S.-K. (1954). Logical paradoxes for many-valued systems. J. Symbolic Log. 19: 37\u201340","journal-title":"J. Symbolic Log."},{"key":"43_CR5","first-page":"25","volume":"36","author":"G. Restall","year":"1993","unstructured":"Restall G. (1993). Arithmetic and truth in \u0141ukasiewicz\u2019s infinitely valued logic. Log. Anal. 36: 25\u201338","journal-title":"Log. Anal."},{"key":"43_CR6","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1093\/jigpal\/jzi017","volume":"13","author":"S. Yatabe","year":"2005","unstructured":"Yatabe S. (2005). A note on Hajek, Paris and Shepherdson\u2019s theorem. Log. J. IGPL 13: 261\u2013266","journal-title":"Log. J. IGPL"},{"key":"43_CR7","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/BF00258447","volume":"8","author":"R.B. White","year":"1979","unstructured":"White R.B. (1979). The consistency of the axiom of comprehension in the infinite-valued predicate logic of \u0141ukasiewicz. J. Philos. Log. 8: 509\u2013534","journal-title":"J. Philos. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-007-0043-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-007-0043-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-007-0043-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:36:41Z","timestamp":1558625801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-007-0043-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,2,21]]},"references-count":7,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2007,3,5]]}},"alternative-id":["43"],"URL":"https:\/\/doi.org\/10.1007\/s00153-007-0043-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,2,21]]}}}