1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 2042 無限組合せ論と強制法理論
このアイテムのアクセス数: 87

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/236942
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
2042-05.pdf364.68 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.authorIkegami, Daisukeen
dc.contributor.alternative池上, 大祐ja
dc.contributor.transcriptionイケガミ, ダイスケ-
dc.date.accessioned2019-03-07T05:44:40Z-
dc.date.available2019-03-07T05:44:40Z-
dc.date.issued2017-07-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/236942-
dc.description.abstractIn this note, we show that the axiom B1-mathrm{AD}_{$omega$_{1} is inconsistent under ZF + mathrm{AC}_{(v}(mathbb{R}). This answers the question of Löwe in [3, Question 52].en
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.publisher.alternativeResearch Institute for Mathematical Sciences, Kyoto Universityen
dc.subject03E60en
dc.subject03E15en
dc.subject91A05en
dc.subject91A44en
dc.subjectInfinite gamesen
dc.subjectBlackwell determinacyen
dc.subjectdescriptive set theoryen
dc.subject.ndc410-
dc.titleNOTES ON Bl-$mathrm{AD}_{omega_{1}}$ (Infinite Combinatorics and Forcing Theory)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume2042-
dc.identifier.spage72-
dc.identifier.epage74-
dc.textversionpublisher-
dc.sortkey05-
dc.addressDepartment of Mathematics, School of Engineering, Tokyo Denki Universityen
dc.address.alternative東京電機大学工学部ja
dcterms.accessRightsopen access-
datacite.awardNumber15K17586-
dc.identifier.jtitle-alternativeRIMS Kokyurokuen
jpcoar.funderName日本学術振興会ja
jpcoar.funderName.alternativeJapan Society for the Promotion of Science (JSPS)en
出現コレクション:2042 無限組合せ論と強制法理論

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。