{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1010000782182055172.json","@type":"Article","resourceType":"学術雑誌論文(journal article)","dc:title":[{"@language":"ja","@value":"On proofs of the incompleteness theorem based on Berry's paradox by Vopenka, Boolos and Chaitin"}],"creator":[{"@id":"https://cir.nii.ac.jp/crid/1420845751143095296","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"70468239"},{"@type":"NRID","@value":"1000070468239"},{"@type":"NRID","@value":"9000002362937"},{"@type":"NRID","@value":"9000005273211"},{"@type":"NRID","@value":"9000333208507"},{"@type":"NRID","@value":"9000333208506"},{"@type":"NRID","@value":"9000002374067"},{"@type":"NRID","@value":"9000003016488"},{"@type":"NRID","@value":"9000020056842"},{"@type":"NRID","@value":"9000256771479"},{"@type":"NRID","@value":"9000252936907"},{"@type":"NRID","@value":"9000253046541"},{"@type":"NRID","@value":"9000256196826"},{"@type":"NRID","@value":"9000242348354"},{"@type":"NRID","@value":"9000392654165"},{"@type":"NRID","@value":"9000256225410"},{"@type":"NRID","@value":"9000402933434"},{"@type":"NRID","@value":"9000242348346"},{"@type":"NRID","@value":"9000402293286"},{"@type":"NRID","@value":"9000005430680"},{"@type":"NRID","@value":"9000402293288"},{"@type":"NRID","@value":"9000392666091"},{"@type":"NRID","@value":"9000254226533"},{"@type":"NRID","@value":"9000392654281"},{"@type":"NRID","@value":"9000005181313"},{"@type":"NRID","@value":"9000408643812"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/hsakai"}],"foaf:name":[{"@language":"ja","@value":"酒井 拓史"},{"@language":"en","@value":"SAKAI Hiroshi"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"神戸大学"}]}],"publication":{"prism:publicationName":[{"@language":"ja","@value":"Mathematical Logic Quarterly"}],"prism:publicationDate":"2012","prism:volume":"58"},"reviewed":"true","project":[{"@id":"https://cir.nii.ac.jp/crid/1040000782182055040","@type":"Project","projectIdentifier":[{"@type":"KAKEN","@value":"23740076"},{"@type":"JGN","@value":"JP23740076"},{"@type":"URI","@value":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23740076/"}],"notation":[{"@language":"ja","@value":"小さな非可算基数に関する反映原理について"},{"@language":"en","@value":"On reflection principles at small uncountable cardinals"}]}],"dataSourceIdentifier":[{"@type":"KAKEN","@value":"PRODUCT-14360343"}]}