WEKO3
アイテム
{"_buckets": {"deposit": "0042046b-4b15-4178-ae99-0c9f1fed0704"}, "_deposit": {"created_by": 31, "id": "2192", "owners": [31], "pid": {"revision_id": 0, "type": "depid", "value": "2192"}, "status": "published"}, "_oai": {"id": "oai:oist.repo.nii.ac.jp:00002192", "sets": ["213"]}, "author_link": ["14396"], "item_10001_biblio_info_7": {"attribute_name": "Bibliographic Information", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2021-05-31", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "9", "bibliographicPageStart": "103001", "bibliographicVolumeNumber": "172", "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": "14396", "nameIdentifierScheme": "WEKO"}]}]}, "item_10001_description_5": {"attribute_name": "Abstract", "attribute_value_mlt": [{"subitem_description": "We display the entire structure R-2 coding Sigma(1) - and Sigma(2)-elementarity on the ordinals. This will enable the analysis of pure Sigma(3)-elementary substructures.", "subitem_description_type": "Other"}]}, "item_10001_publisher_8": {"attribute_name": "Publisher", "attribute_value_mlt": [{"subitem_publisher": "Elsevier"}]}, "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.2021.103001", "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/S0168007221000592", "subitem_relation_type_select": "URI"}}]}, "item_10001_rights_15": {"attribute_name": "Rights", "attribute_value_mlt": [{"subitem_rights": "This article was published in Annals of Pure and Applied Logic, Volume 172, Issue 9, Gunnar Wilken, Pure Σ2-elementarity beyond the core, 103001, © 2021 Elsevier."}]}, "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": "2023-05-31"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "Wilken_R2_APAL_final (1).pdf", "filesize": [{"value": "1.1 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensefree": "CC BY-NC-ND 4.0\nCreative Commons Attribution-NonCommercial-NoDerivatives 4.0 International(https://creativecommons.org/licenses/by-nc-nd/4.0/)", "licensetype": "license_free", "mimetype": "application/pdf", "size": 1100000.0, "url": {"label": "Wilken_R2_APAL_final", "url": "https://oist.repo.nii.ac.jp/record/2192/files/Wilken_R2_APAL_final (1).pdf"}, "version_id": "a3ea4d09-449a-45d5-96c3-452ea53b7731"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "Proof theory", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Patterns of resemblance", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Ordinal notations", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Ordinal arithmetic", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Elementary substructures", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "PATTERNS", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "ORDINALS", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}]}, "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 Σ2-elementarity beyond the core", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Pure Σ2-elementarity beyond the core", "subitem_title_language": "en"}]}, "item_type_id": "10001", "owner": "31", "path": ["213"], "permalink_uri": "https://oist.repo.nii.ac.jp/records/2192", "pubdate": {"attribute_name": "公開日", "attribute_value": "2021-05-31"}, "publish_date": "2021-05-31", "publish_status": "0", "recid": "2192", "relation": {}, "relation_version_is_last": true, "title": ["Pure Σ2-elementarity beyond the core"], "weko_shared_id": 31}
Pure Σ2-elementarity beyond the core
https://oist.repo.nii.ac.jp/records/2192
https://oist.repo.nii.ac.jp/records/21928f65e894-c54c-41d6-b56e-ac5c1f7cef7e
名前 / ファイル | ライセンス | アクション |
---|---|---|
Wilken_R2_APAL_final (1.1 MB)
|
CC BY-NC-ND 4.0
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International(https://creativecommons.org/licenses/by-nc-nd/4.0/) |
Item type | 学術雑誌論文 / Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2021-05-31 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Pure Σ2-elementarity beyond the core | |||||
言語 | ||||||
言語 | eng | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | Proof theory | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | Patterns of resemblance | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | Ordinal notations | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | Ordinal arithmetic | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | Elementary substructures | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | PATTERNS | |||||
キーワード | ||||||
言語 | en | |||||
主題Scheme | Other | |||||
主題 | ORDINALS | |||||
資源タイプ | ||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
資源タイプ | journal article | |||||
著者(英) |
Wilken, Gunnar
× Wilken, Gunnar |
|||||
書誌情報 |
en : Annals of Pure and Applied Logic 巻 172, 号 9, p. 103001, 発行日 2021-05-31 |
|||||
抄録 | ||||||
内容記述タイプ | Other | |||||
内容記述 | We display the entire structure R-2 coding Sigma(1) - and Sigma(2)-elementarity on the ordinals. This will enable the analysis of pure Sigma(3)-elementary substructures. | |||||
出版者 | ||||||
出版者 | Elsevier | |||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 0168-0072 | |||||
DOI | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | DOI | |||||
関連識別子 | info:doi/10.1016/j.apal.2021.103001 | |||||
権利 | ||||||
権利情報 | This article was published in Annals of Pure and Applied Logic, Volume 172, Issue 9, Gunnar Wilken, Pure Σ2-elementarity beyond the core, 103001, © 2021 Elsevier. | |||||
関連サイト | ||||||
識別子タイプ | URI | |||||
関連識別子 | https://www.sciencedirect.com/science/article/pii/S0168007221000592 | |||||
著者版フラグ | ||||||
出版タイプ | AM | |||||
出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa |