WEKO3
アイテム
{"_buckets": {"deposit": "fa0e3a69-9d77-4147-aba7-4fc16caa6cfe"}, "_deposit": {"created_by": 27, "id": "453", "owners": [27], "pid": {"revision_id": 0, "type": "depid", "value": "453"}, "status": "published"}, "_oai": {"id": "oai:oist.repo.nii.ac.jp:00000453", "sets": ["57"]}, "author_link": ["1874"], "item_10001_biblio_info_7": {"attribute_name": "Bibliographic Information", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2017-09-21", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "1", "bibliographicPageEnd": "82", "bibliographicPageStart": "54", "bibliographicVolumeNumber": "169", "bibliographic_titles": [{}, {"bibliographic_title": "Annals of Pure and Applied Logic", "bibliographic_titleLang": "en"}]}]}, "item_10001_creator_3": {"attribute_name": "Author", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Wilken, Gunnar"}], "nameIdentifiers": [{"nameIdentifier": "1874", "nameIdentifierScheme": "WEKO"}]}]}, "item_10001_description_5": {"attribute_name": "Abstract", "attribute_value_mlt": [{"subitem_description": "We provide mutual elementary recursive order isomorphisms between classical ordinal notations, based on Skolem hulling, and notations from pure elementary patterns of resemblance of order 2, showing that the latter characterize the proof-theoretic ordinal 1∞ of the fragment Π1–CA0 of second order number theory, orequivalently the set theory KPA . As a corollary, we prove that Carlson’s result on the well-quasi orderedness of respecting forests of order 2 implies transfinite induction up to the ordinal 1∞. We expect that our approach will facilitate analysis of more powerful systems of patterns.", "subitem_description_type": "Other"}]}, "item_10001_publisher_8": {"attribute_name": "Publisher", "attribute_value_mlt": [{"subitem_publisher": "Elsevier B.V."}]}, "item_10001_relation_14": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_type": "isVersionOf", "subitem_relation_type_id": {"subitem_relation_type_id_text": "info:doi/10.1016/j.apal.2017.09.001", "subitem_relation_type_select": "DOI"}}]}, "item_10001_relation_17": {"attribute_name": "Related site", "attribute_value_mlt": [{"subitem_relation_type_id": {"subitem_relation_type_id_text": "https://www.sciencedirect.com/science/article/pii/S0168007217301069?via%3Dihub", "subitem_relation_type_select": "URI"}}]}, "item_10001_rights_15": {"attribute_name": "Rights", "attribute_value_mlt": [{"subitem_rights": "© 2017 Elsevier B.V."}]}, "item_10001_source_id_9": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0168-0072", "subitem_source_identifier_type": "ISSN"}]}, "item_10001_version_type_20": {"attribute_name": "Author\u0027s flag", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_ab4af688f83e57aa", "subitem_version_type": "AM"}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2019-09-22"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "WilkenPurePatterns2_APAL_elsarticle_CC.pdf", "filesize": [{"value": "301.7 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensefree": "Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International\nhttps://creativecommons.org/licenses/by-nc-nd/4.0/", "licensetype": "license_free", "mimetype": "application/pdf", "size": 301700.0, "url": {"label": "WilkenPurePatterns2_APAL_elsarticle_CC", "url": "https://oist.repo.nii.ac.jp/record/453/files/WilkenPurePatterns2_APAL_elsarticle_CC.pdf"}, "version_id": "f9059e7a-7354-4c84-aee0-29e84ee42812"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "Pure patterns of order 2", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Pure patterns of order 2", "subitem_title_language": "en"}]}, "item_type_id": "10001", "owner": "27", "path": ["57"], "permalink_uri": "https://oist.repo.nii.ac.jp/records/453", "pubdate": {"attribute_name": "公開日", "attribute_value": "2019-09-22"}, "publish_date": "2019-09-22", "publish_status": "0", "recid": "453", "relation": {}, "relation_version_is_last": true, "title": ["Pure patterns of order 2"], "weko_shared_id": 27}
Pure patterns of order 2
https://oist.repo.nii.ac.jp/records/453
https://oist.repo.nii.ac.jp/records/45328d42a5e-d2aa-4f1c-b944-d54879fabe54
名前 / ファイル | ライセンス | アクション |
---|---|---|
WilkenPurePatterns2_APAL_elsarticle_CC (301.7 kB)
|
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
https://creativecommons.org/licenses/by-nc-nd/4.0/ |
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2019-09-22 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Pure patterns of order 2 | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
著者(英) |
Wilken, Gunnar
× Wilken, Gunnar |
|||||
書誌情報 |
en : Annals of Pure and Applied Logic 巻 169, 号 1, p. 54-82, 発行日 2017-09-21 |
|||||
抄録 | ||||||
内容記述タイプ | Other | |||||
内容記述 | We provide mutual elementary recursive order isomorphisms between classical ordinal notations, based on Skolem hulling, and notations from pure elementary patterns of resemblance of order 2, showing that the latter characterize the proof-theoretic ordinal 1∞ of the fragment Π1–CA0 of second order number theory, orequivalently the set theory KPA . As a corollary, we prove that Carlson’s result on the well-quasi orderedness of respecting forests of order 2 implies transfinite induction up to the ordinal 1∞. We expect that our approach will facilitate analysis of more powerful systems of patterns. | |||||
出版者 | ||||||
出版者 | Elsevier B.V. | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 0168-0072 | |||||
DOI | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | DOI | |||||
関連識別子 | info:doi/10.1016/j.apal.2017.09.001 | |||||
権利 | ||||||
権利情報 | © 2017 Elsevier B.V. | |||||
関連サイト | ||||||
識別子タイプ | URI | |||||
関連識別子 | https://www.sciencedirect.com/science/article/pii/S0168007217301069?via%3Dihub | |||||
著者版フラグ | ||||||
出版タイプ | AM | |||||
出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa |