{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T07:20:16Z","timestamp":1701156016092},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2013,11,16]],"date-time":"2013-11-16T00:00:00Z","timestamp":1384560000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1007\/s10992-013-9309-z","type":"journal-article","created":{"date-parts":[[2013,11,14]],"date-time":"2013-11-14T22:18:35Z","timestamp":1384467515000},"page":"999-1017","source":"Crossref","is-referenced-by-count":5,"title":["Rosser-Type Undecidable Sentences Based on Yablo\u2019s Paradox"],"prefix":"10.1007","volume":"43","author":[{"given":"Taishi","family":"Kurahashi","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,16]]},"reference":[{"key":"9309_CR1","first-page":"388","volume":"36","author":"G Boolos","year":"1989","unstructured":"Boolos, G. (1989). A new proof of the G\u00f6del incompleteness theorem. Notices of the American Mathematical Society, 36, 388\u2013390.","journal-title":"Notices of the American Mathematical Society"},{"key":"9309_CR2","unstructured":"Boolos, G. (1993). The logic of provability. Cambridge: Cambridge University Press."},{"key":"9309_CR3","unstructured":"Cantini, A. (2009). Paradoxes, self-reference and truth in the 20th century. In D.M. Gabbay, J. Woods (Eds.), Handbook of the history of logic (vol. 5, pp. 875\u20131013). Amsterdam: Elsevier\/North-Holland."},{"key":"9309_CR4","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1145\/321832.321839","volume":"21","author":"GJ Chaitin","year":"1974","unstructured":"Chaitin, G.J. (1974). Information-theoretic limitations of formal systems. Journal of the Association for Computing Machinery, 21, 403\u2013424.","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"5","key":"9309_CR5","doi-asserted-by":"crossref","first-page":"679","DOI":"10.1007\/s10992-012-9244-4","volume":"42","author":"C Cie\u015bli\u0144ski","year":"2013","unstructured":"Cie\u015bli\u0144ski, C., & Urbaniak, R. (2013). G\u00f6delizing the Yablo sequence. Journal of Philosophical Logic, 42(5), 679\u2013695.","journal-title":"Journal of Philosophical Logic"},{"key":"9309_CR6","doi-asserted-by":"crossref","first-page":"35","DOI":"10.4064\/fm-49-1-35-92","volume":"49","author":"S Feferman","year":"1960","unstructured":"Feferman, S. (1960). Arithmetization of metamathematics in a general setting. Fundamenta Mathematicae, 49, 35\u201392.","journal-title":"Fundamenta Mathematicae"},{"key":"9309_CR7","unstructured":"G\u00f6del, K. (1931). \u00dcber formal unentscheidbare s\u00e4tze der Principia Mathematica und verwandter systeme I (in German). Monatshefte f\u00fcr Mathematik und Physik, 38(1), 173\u2013198, English translation in Kurt G\u00f6del, Collected Works (vol. 1, pp. 145\u2013195)."},{"issue":"1","key":"9309_CR8","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0003-4843(79)90017-2","volume":"16","author":"D Guaspari","year":"1979","unstructured":"Guaspari, D., & Solovay, R.M. (1979). Rosser sentences. Annals of Mathematical Logic, 16(1), 81\u201399.","journal-title":"Annals of Mathematical Logic"},{"issue":"2","key":"9309_CR9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.4288\/jafpos.19.0_27","volume":"38","author":"M Kikuchi","year":"2011","unstructured":"Kikuchi, M., & Kurahashi, T. (2011). Three short stories around G\u00f6del\u2019s incompleteness theorems (in Japanese). Journal of the Japan Association for Philosophy of Science, 38(2), 27\u201332.","journal-title":"Journal of the Japan Association for Philosophy of Science"},{"issue":"4\u20135","key":"9309_CR10","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1002\/malq.201110067","volume":"58","author":"M Kikuchi","year":"2012","unstructured":"Kikuchi, M., Kurahashi, T., Sakai, H. (2012). On proofs of the incompleteness theorems based on Berry\u2019s paradox by Vop\u011bnka, Chaitin, and Boolos. Mathematical Logic Quarterly, 58(4\u20135), 307\u2013316.","journal-title":"Mathematical Logic Quarterly"},{"issue":"11","key":"9309_CR11","first-page":"1454","volume":"57","author":"S Kritchman","year":"2010","unstructured":"Kritchman, S., & Raz, R. (2010). The surprise examination paradox and the second incompleteness theorem. Notices of the American Mathematical Society, 57(11), 1454\u20131458.","journal-title":"Notices of the American Mathematical Society"},{"key":"9309_CR12","unstructured":"Kurahashi, T. (2013). Predicate provability logic and incompleteness theorems in formalized arithmetic. PhD thesis, Kobe University."},{"key":"9309_CR13","doi-asserted-by":"crossref","unstructured":"Leach-Krouse, G. (2013). Yablifying the Rosser sentence. Journal of Philosophical Logic. doi: 10.1007\/s10992-013-9291-5 .","DOI":"10.1007\/s10992-013-9291-5"},{"key":"9309_CR14","doi-asserted-by":"crossref","unstructured":"Lindstr\u00f6m, P. (1997). Aspects of incompleteness. In Lecture Notes in Logic (vol. 10). Berlin: Springer-Verlag.","DOI":"10.1007\/978-3-662-21635-4"},{"issue":"4","key":"9309_CR15","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1093\/analys\/57.4.236","volume":"57","author":"G Priest","year":"1997","unstructured":"Priest, G. (1997). Yablo\u2019s paradox. Analysis, 57(4), 236\u2013242.","journal-title":"Analysis"},{"issue":"3","key":"9309_CR16","doi-asserted-by":"crossref","first-page":"87","DOI":"10.2307\/2269028","volume":"1","author":"B Rosser","year":"1936","unstructured":"Rosser, B. (1936). Extensions of some theorems of G\u00f6del and Church. The Journal of Symbolic Logic, 1(3), 87\u201391.","journal-title":"The Journal of Symbolic Logic"},{"key":"9309_CR17","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1016\/j.apal.2007.10.002","volume":"151","author":"C B\u00fclow von","year":"2008","unstructured":"von B\u00fclow, C. (2008). A remark on equivalent Rosser sentences. Annals of Pure and Applied Logic, 151, 62\u201367.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9309_CR18","first-page":"111","volume":"14","author":"P Vop\u011bnka","year":"1966","unstructured":"Vop\u011bnka, P. (1966). A new proof of the G\u00f6del\u2019s result on non-provability of consistency. Bulletin de l\u2019Acad\u00e9mie Polonaise des Sciences. S\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques, 14, 111\u2013116.","journal-title":"Bulletin de l\u2019Acad\u00e9mie Polonaise des Sciences. S\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques"},{"issue":"4","key":"9309_CR19","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1093\/analys\/53.4.251","volume":"53","author":"S Yablo","year":"1993","unstructured":"Yablo, S. (1993). Paradox without self-reference. Analysis, 53(4), 251\u2013252.","journal-title":"Analysis"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9309-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-013-9309-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9309-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T19:03:25Z","timestamp":1564686205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-013-9309-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,16]]},"references-count":19,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["9309"],"URL":"https:\/\/doi.org\/10.1007\/s10992-013-9309-z","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,16]]}}}