{"created":"2024-10-21T01:14:34.468887+00:00","id":2000800,"links":{},"metadata":{"_buckets":{"deposit":"4dc69c6d-a2db-4dc0-b2b6-a4219500d9e1"},"_deposit":{"created_by":14,"id":"2000800","owners":[14],"pid":{"revision_id":0,"type":"depid","value":"2000800"},"status":"published"},"_oai":{"id":"oai:tokyo-metro-u.repo.nii.ac.jp:02000800","sets":["465:468:1729238234917"]},"author_link":[],"control_number":"2000800","item_30002_bibliographic_information29":{"attribute_name":"bibliographic_information","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2022","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"18","bibliographicPageStart":"1"}]},"item_30002_conference34":{"attribute_name":"会議記述","attribute_value_mlt":[{"subitem_conference_country":"SGP","subitem_conference_names":[{"subitem_conference_name":"Computability Theory and Foundations of Mathematics","subitem_conference_name_language":"en"}]}]},"item_30002_contributor3":{"attribute_name":"寄与者","attribute_value_mlt":[{"contributorNames":[{"contributorName":"PENG, N","lang":"en"}],"contributorType":"Editor"},{"contributorNames":[{"contributorName":"TANAKA, K","lang":"en"}],"contributorType":"Editor"},{"contributorNames":[{"contributorName":"YANG, Y","lang":"en"}],"contributorType":"Editor"},{"contributorNames":[{"contributorName":"WU, G","lang":"en"}],"contributorType":"Editor"},{"contributorNames":[{"contributorName":"YU, L","lang":"en"}],"contributorType":"Editor"}]},"item_30002_creator2":{"attribute_name":"作成者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"IMAI, Hiroyuki","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"KUMABE, Masahiro","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"MIAYBE, Kenshi","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"MIZUSAWA, Yuki","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"SUZUKI, Toshio","creatorNameLang":"en"}]}]},"item_30002_description9":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"In our previous work, we characterized Solovay reducibility using Lipschitz condition, and introduced quasi Solovay reducibility (qS-reducibility, for short) as a H¨older condition counterpart. In this paper, we investigate effective dimensions and ideals closely related to quasi Solovay reducibility by means of the rate of convergence. We show that the qS-completeness among left-c.e. reals is equivalent to having a positive effective Hausdorff dimension. The Solovay degrees of qS-complete left-c.e. reals form a filter. On\nthe other hand, the Solovay degrees of non-qS-complete left-c.e. reals do not form an ideal.\nBased on observations on the relationships between rational sequences and reducibility, we introduce a stronger version of qS-reducibility. Given a degree of this reducibility, the lower cone (including the given degree) forms an ideal. By developing these investigations,\nwe characterize the effective dimensions by means of the rate of convergence. We give a variation of the first incompleteness theorem based on Solovay reducibility.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_30002_file35":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2024-10-21"}],"displaytype":"detail","filename":"11170-001.pdf","filesize":[{"value":"137.3 KB"}],"format":"application/pdf","mimetype":"application/pdf","url":{"objectType":"fulltext","url":"https://tokyo-metro-u.repo.nii.ac.jp/record/2000800/files/11170-001.pdf"},"version_id":"7bcdb9b7-a3c0-4a92-9dbc-132d097c62a0"}]},"item_30002_language12":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_30002_resource_type13":{"attribute_name":"item_30002_resource_type13","attribute_value_mlt":[{"resourcetype":"conference paper","resourceuri":"http://purl.org/coar/resource_type/c_5794"}]},"item_30002_title0":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Rational sequences converging to left-c.e. reals of positive effective Hausdorff dimension","subitem_title_language":"en"}]},"item_30002_version_type15":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_title":"Rational sequences converging to left-c.e. reals of positive effective Hausdorff dimension","item_type_id":"30002","owner":"14","path":["1729238234917"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2024-10-21"},"publish_date":"2024-10-21","publish_status":"0","recid":"2000800","relation_version_is_last":true,"title":["Rational sequences converging to left-c.e. reals of positive effective Hausdorff dimension"],"weko_creator_id":"14","weko_shared_id":-1},"updated":"2024-10-21T01:27:55.899869+00:00"}