このアイテムのアクセス数: 80

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
2042-04.pdf1.85 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.authorFuchino, Sakaéen
dc.contributor.authorOttenbreit, André Maschio Rodriguesen
dc.contributor.authorSakai, Hiroshien
dc.contributor.alternative渕野, 昌ja
dc.contributor.alternative酒井, 拓史ja
dc.contributor.transcriptionフチノ, サカエ-
dc.contributor.transcription[ヨミ等調査中]-
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/236941-
dc.description.abstractIn [FL88], Foreman and Laver proved, assuming the existence of a huge cardinal the consistency of the transfer property of maximal chromatic number from aleph_{2} to aleph_{1}. We combine this result with another result by Baumgartner [Bau84] to prove, also assuming the existence of a huge cardinal, that such a transfer property from aleph_{2} to aleph_{1} does not follow from the transfer property from aleph_{3} to aleph_{1}.en
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.publisher.alternativeResearch Institute for Mathematical Sciences, Kyoto Universityen
dc.subject.ndc410-
dc.titleOn some downward transfer properties in Foreman-Laver model (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.spage52-
dc.identifier.epage71-
dc.textversionpublisher-
dc.sortkey04-
dc.addressGraduate School of System Informatics, Kobe Universityen
dc.addressGraduate School of System Informatics, Kobe Universityen
dc.addressGraduate School of System Informatics, Kobe Universityen
dc.address.alternative神戸大学システム情報学研究科ja
dc.address.alternative神戸大学システム情報学研究科ja
dc.address.alternative神戸大学システム情報学研究科ja
dcterms.accessRightsopen access-
dc.identifier.jtitle-alternativeRIMS Kokyurokuen
出現コレクション:2042 無限組合せ論と強制法理論

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

Export to RefWorks


出力フォーマット 


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