{"created":"2024-10-30T07:18:26.282046+00:00","id":2002595,"links":{},"metadata":{"_buckets":{"deposit":"ab23482a-c035-4f35-9ad4-72f15a0bffa9"},"_deposit":{"created_by":21,"id":"2002595","owners":[21],"pid":{"revision_id":0,"type":"depid","value":"2002595"},"status":"published"},"_oai":{"id":"oai:tohoku.repo.nii.ac.jp:02002595","sets":["91:142"]},"author_link":[],"item_19_date_62":{"attribute_name":"item_19_date_62","attribute_value_mlt":[{"subitem_date_issued_datetime":"2024-10-30","subitem_date_issued_type":"Available"}]},"item_19_date_63":{"attribute_name":"item_19_date_63","attribute_value_mlt":[{"subitem_date_issued_datetime":"2024-10-30","subitem_date_issued_type":"Available"}]},"item_19_date_granted_65":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2024-03-26"}]},"item_19_date_granted_85":{"attribute_name":"学位授与年月日","attribute_value_mlt":[{"subitem_dategranted":"2024-03-26"}]},"item_19_degree_grantor_83":{"attribute_name":"item_19_degree_grantor_83","attribute_value_mlt":[{"subitem_degreegrantor":[{"subitem_degreegrantor_name":"Tohoku University"}]}]},"item_19_degree_name_82":{"attribute_name":"学位名","attribute_value_mlt":[{"subitem_degreename":"博士（理学）"}]},"item_19_dissertation_number_86":{"attribute_name":"dissertation_number","attribute_value_mlt":[{"subitem_dissertationnumber":"11301甲第21302号"}]},"item_19_full_name_3":{"attribute_name":"著者別名","attribute_value_mlt":[{"names":[{"name":"鈴木, 悠大","nameLang":"ja"}]}]},"item_19_text_87":{"attribute_name":"item_19_text_87","attribute_value_mlt":[{"subitem_text_value":"横山　啓太"}]},"item_19_version_type_16":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Suzuki, Yudai","creatorNameLang":"en"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_access","date":[{"dateType":"Available"}],"displaytype":"detail","filename":"240326-Suzuki-3500-1.pdf","filesize":[{"value":"437.4 KB"}],"licensetype":"license_note","mimetype":"application/pdf","url":{"url":"https://tohoku.repo.nii.ac.jp/record/2002595/files/240326-Suzuki-3500-1.pdf"},"version_id":"e18b9aa0-74dd-4028-b206-159d9b8a59e7"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"item_resource_type","attribute_value_mlt":[{"resourcetype":"thesis","resourceuri":"http://purl.org/coar/resource_type/c_46ec"}]},"item_title":"Studies on partial impredicativity in formal systems of arithmetic and computability theory","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Studies on partial impredicativity in formal systems of arithmetic and computability theory","subitem_title_language":"en"},{"subitem_title":"算術の形式体系と計算可能性理論による部分非可述性の探求","subitem_title_language":"ja"}]},"item_type_id":"19","owner":"21","path":["142"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2024-10-30"},"publish_date":"2024-10-30","publish_status":"0","recid":"2002595","relation_version_is_last":true,"title":["Studies on partial impredicativity in formal systems of arithmetic and computability theory"],"weko_creator_id":"21","weko_shared_id":-1},"updated":"2024-10-30T07:18:44.769472+00:00"}