{"created":"2021-03-01T06:43:38.714424+00:00","id":8271,"links":{},"metadata":{"_buckets":{"deposit":"1eb5d1d4-0911-4fee-85da-b6d1ca32599a"},"_deposit":{"id":"8271","owners":[],"pid":{"revision_id":0,"type":"depid","value":"8271"},"status":"published"},"_oai":{"id":"oai:tsukuba.repo.nii.ac.jp:00008271","sets":["3:233:254"]},"item_12_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1985","bibliographicIssueDateType":"Issued"},"bibliographic_titles":[{}]}]},"item_12_creator_3":{"attribute_name":"著者別名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Tsuboi, Akito"}],"nameIdentifiers":[{"nameIdentifier":"34531","nameIdentifierScheme":"WEKO"}]}]},"item_12_description_14":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_12_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"第1階述語論理Lと, Lの中の完全で無限模型をもつ理論T, 及びTの十分に大きな模型σを固定する。それぞれの長さがm, k自由変数列(x, y)をもつLの論理式φ(x, y)と,","subitem_description_type":"Abstract"},{"subitem_description":"II","subitem_description_type":"Abstract"},{"subitem_description":"k)の元aについて,φ(π, a)でπ=φ(b, a)となる","subitem_description_type":"Abstract"},{"subitem_description":"II","subitem_description_type":"Abstract"},{"subitem_description":"nの元b全体の集合を表わすものとする。論理式の集合φ(x, ai)","subitem_description_type":"Abstract"},{"subitem_description":"i<ωが分割であるとは, ある自然数nが存在して, 集合族φ(π, ai)","subitem_description_type":"Abstract"},{"subitem_description":"i<ωの中の任意のn個は共通部分をもたないことである。k個の分割φλ(x, aiλ)","subitem_description_type":"Abstract"},{"subitem_description":"i<ωλ<kが独立であるとは, κからωへのどんな写像fについても集合[?]λ<kφλ(π, af(λ), λ)が空集合におならないことである。また,","subitem_description_type":"Abstract"},{"subitem_description":"π","subitem_description_type":"Abstract"},{"subitem_description":"の部分集合Aと,","subitem_description_type":"Abstract"},{"subitem_description":"π","subitem_description_type":"Abstract"},{"subitem_description":"kの元のあつまりai","subitem_description_type":"Abstract"},{"subitem_description":"i<ωについて, A上ai","subitem_description_type":"Abstract"},{"subitem_description":"i[?]Iが独立であるとは, 各iεIについて, タイプt(ai, AUai","subitem_description_type":"Abstract"},{"subitem_description":"i[?]I, J[?]i)がA上forkしないこととする。 ･･･","subitem_description_type":"Abstract"}]},"item_12_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"Thesis--University of Tsukuba, D.Sc.(A), no. 276. 1985. 3. 25","subitem_description_type":"Other"}]},"item_12_identifier_34":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2241/6856"}]},"item_12_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"author"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"坪井, 明人"},{"creatorName":"ツボイ, アキト","creatorNameLang":"ja-Kana"}],"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_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"A0276.pdf","filesize":[{"value":"124.0 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"A0276.pdf","url":"https://tsukuba.repo.nii.ac.jp/record/8271/files/A0276.pdf"},"version_id":"230ff635-f119-4c36-a6c6-b4728afdf212"},{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2013-12-18"}],"displaytype":"detail","filename":"1.pdf","filesize":[{"value":"32.7 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"1.pdf","url":"https://tsukuba.repo.nii.ac.jp/record/8271/files/1.pdf"},"version_id":"4550c6aa-1aa2-44fc-8f72-a73a965a8d54"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"thesis","resourceuri":"http://purl.org/coar/resource_type/c_46ec"}]},"item_title":"Independent partitions and the number of countable models","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Independent partitions and the number of countable models"}]},"item_type_id":"12","owner":"1","path":["254"],"pubdate":{"attribute_name":"公開日","attribute_value":"2007-07-25"},"publish_date":"2007-07-25","publish_status":"0","recid":"8271","relation_version_is_last":true,"title":["Independent partitions and the number of countable models"],"weko_creator_id":"1","weko_shared_id":5},"updated":"2022-04-27T09:38:46.717528+00:00"}