WEKO3
アイテム
{"_buckets": {"deposit": "859a113b-3aab-42c2-bc9b-39a0fc3a9bea"}, "_deposit": {"id": "27892", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "27892"}, "status": "published"}, "_oai": {"id": "oai:tsukuba.repo.nii.ac.jp:00027892", "sets": ["1931", "1805"]}, "item_5_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2012-12", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "12", "bibliographicPageEnd": "1902", "bibliographicPageStart": "1891", "bibliographicVolumeNumber": "163", "bibliographic_titles": [{"bibliographic_title": "Annals of pure and applied logic"}]}]}, "item_5_creator_3": {"attribute_name": "著者別名", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "坪井, 明人"}], "nameIdentifiers": [{"nameIdentifier": "664", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "30180045", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://nrid.nii.ac.jp/ja/nrid/1000030180045"}, {"nameIdentifier": "0000000524", "nameIdentifierScheme": "筑波大学研究者総覧", "nameIdentifierURI": "http://trios.tsukuba.ac.jp/researcher/0000000524"}]}]}, "item_5_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "We introduce several concepts concerning the indiscernibility of trees. A tree is by definition an ordered set (O,\u003c) such that, for any a∈O, the initial segment {b∈O:b\u003ca} determined by a is a linearly ordered set. A typical example of a tree is the set ω\u003cω of finite ω-sequences with the order relation \u003cini, where η\u003ciniν means that η is a proper initial segment of ν. In this paper, we consider some structure M in the language L and are interested in sets A of the form (aη)η∈O, where O is a tree, and aη labeled by η is an element in M. Such a set A is also called a tree in this paper. We study the indiscernibility of trees A in general settings and apply the obtained results to the study of unstable theories.", "subitem_description_type": "Abstract"}]}, "item_5_identifier_34": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2241/117851"}]}, "item_5_publisher_27": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "Elsevier"}]}, "item_5_relation_11": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_type_id": {"subitem_relation_type_id_text": "10.1016/j.apal.2012.05.012", "subitem_relation_type_select": "DOI"}}]}, "item_5_rights_12": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "© 2012 Elsevier B.V.\nNOTICE: this is the author’s version of a work that was accepted for publication in Annals of pure and applied logic. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in PUBLICATION, 163(12) 2012 DOI:10.1016/j.apal.2012.05.012"}]}, "item_5_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "author"}]}, "item_5_source_id_7": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0168-0072", "subitem_source_identifier_type": "ISSN"}]}, "item_5_source_id_9": {"attribute_name": "書誌レコードID", "attribute_value_mlt": [{"subitem_source_identifier": "AA10632935", "subitem_source_identifier_type": "NCID"}]}, "item_5_subject_20": {"attribute_name": "NIIサブジェクト", "attribute_value_mlt": [{"subitem_subject": "数学", "subitem_subject_scheme": "Other"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Takeuchi, Kota"}], "nameIdentifiers": [{"nameIdentifier": "96586", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Tsuboi, Akito"}], "nameIdentifiers": [{"nameIdentifier": "96587", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2013-12-25"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "APAL_163-12.pdf", "filesize": [{"value": "156.8 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 156800.0, "url": {"label": "APAL_163-12.pdf", "url": "https://tsukuba.repo.nii.ac.jp/record/27892/files/APAL_163-12.pdf"}, "version_id": "3dd9515b-0462-4dad-b512-0b31044f8455"}]}, "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": "On the existence of indiscernible trees", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "On the existence of indiscernible trees"}]}, "item_type_id": "5", "owner": "1", "path": ["1931", "1805"], "permalink_uri": "http://hdl.handle.net/2241/117851", "pubdate": {"attribute_name": "公開日", "attribute_value": "2012-11-13"}, "publish_date": "2012-11-13", "publish_status": "0", "recid": "27892", "relation": {}, "relation_version_is_last": true, "title": ["On the existence of indiscernible trees"], "weko_shared_id": 5}
On the existence of indiscernible trees
http://hdl.handle.net/2241/117851
http://hdl.handle.net/2241/1178518f6f225a-2b13-458a-a409-08a66dd43df0
名前 / ファイル | ライセンス | アクション |
---|---|---|
APAL_163-12.pdf (156.8 kB)
|
|
Item type | Journal Article(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2012-11-13 | |||||
タイトル | ||||||
タイトル | On the existence of indiscernible trees | |||||
言語 | ||||||
言語 | eng | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_6501 | |||||
タイプ | journal article | |||||
著者 |
Takeuchi, Kota
× Takeuchi, Kota× Tsuboi, Akito |
|||||
著者別名 |
坪井, 明人
× 坪井, 明人 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | We introduce several concepts concerning the indiscernibility of trees. A tree is by definition an ordered set (O,<) such that, for any a∈O, the initial segment {b∈O:b<a} determined by a is a linearly ordered set. A typical example of a tree is the set ω<ω of finite ω-sequences with the order relation <ini, where η<iniν means that η is a proper initial segment of ν. In this paper, we consider some structure M in the language L and are interested in sets A of the form (aη)η∈O, where O is a tree, and aη labeled by η is an element in M. Such a set A is also called a tree in this paper. We study the indiscernibility of trees A in general settings and apply the obtained results to the study of unstable theories. | |||||
書誌情報 |
Annals of pure and applied logic 巻 163, 号 12, p. 1891-1902, 発行日 2012-12 |
|||||
ISSN | ||||||
収録物識別子タイプ | ISSN | |||||
収録物識別子 | 0168-0072 | |||||
書誌レコードID | ||||||
収録物識別子タイプ | NCID | |||||
収録物識別子 | AA10632935 | |||||
DOI | ||||||
識別子タイプ | DOI | |||||
関連識別子 | 10.1016/j.apal.2012.05.012 | |||||
権利 | ||||||
権利情報 | © 2012 Elsevier B.V. NOTICE: this is the author’s version of a work that was accepted for publication in Annals of pure and applied logic. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in PUBLICATION, 163(12) 2012 DOI:10.1016/j.apal.2012.05.012 |
|||||
著者版フラグ | ||||||
値 | author | |||||
出版者 | ||||||
出版者 | Elsevier | |||||
URI | ||||||
識別子 | http://hdl.handle.net/2241/117851 | |||||
識別子タイプ | HDL |