{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T13:19:54Z","timestamp":1676899194840},"reference-count":3,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2009,3,26]],"date-time":"2009-03-26T00:00:00Z","timestamp":1238025600000},"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":[[2009,5]]},"DOI":"10.1007\/s00153-009-0127-5","type":"journal-article","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T16:00:53Z","timestamp":1237996853000},"page":"265-268","source":"Crossref","is-referenced-by-count":3,"title":["Comprehension contradicts to the induction within \u0141ukasiewicz predicate logic"],"prefix":"10.1007","volume":"48","author":[{"given":"Shunsuke","family":"Yatabe","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,3,26]]},"reference":[{"key":"127_CR1","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1023\/A:1025159016268","volume":"74","author":"A. Cantini","year":"2003","unstructured":"Cantini A.: The undecidability of Gris\u012dn\u2019s set theory. Studia Logica 74, 345\u2013368 (2003)","journal-title":"Studia Logica"},{"issue":"6","key":"127_CR2","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1007\/s00153-005-0284-0","volume":"44","author":"P. Hajek","year":"2005","unstructured":"Hajek P.: On arithmetic in the Cantor-\u0141ukasiewicz fuzzy set theory. Arch. Math. Log. 44(6), 763\u201382 (2005)","journal-title":"Arch. Math. Log."},{"key":"127_CR3","doi-asserted-by":"crossref","unstructured":"Yatabe, S.: Distinguishing non-standard natural numbers in a set theory within \u0141ukasiewicz logic. Arch. Math. Log. (accepted)","DOI":"10.1007\/s00153-007-0043-5"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-009-0127-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-009-0127-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-009-0127-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:43Z","timestamp":1558640203000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-009-0127-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,26]]},"references-count":3,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2009,5]]}},"alternative-id":["127"],"URL":"https:\/\/doi.org\/10.1007\/s00153-009-0127-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3,26]]}}}