|
タイトル / 著者 等
|
強制法と巨大基数公理
キヨウセイホウ ト キョダイ キスウ コウリ
|
|
出版・頒布事項
|
[京都] : 京都大学数理解析研究所 , 2005.4
|
|
形態
|
138p ; 26cm
|
|
シリーズ情報
|
数理解析研究所講究録||スウリ カイセキ ケンキュウショ コウキュウロク <WB01045465> 1423//a
|
|
その他のタイトル
|
その他のタイトル:Forcing method and large cardinal axioms
|
|
内容
|
Templates and iterations Luminy 2002 lecture notes / Jörg Brendle [著]
|
|
内容
|
PRINC(κ, λ), Cs(κ), HP(κ) etc. and variants of the bounding number / 渕野昌 [著]
|
|
内容
|
Some partition properties for measurable colourings of ω1 2 / James Hirschorn [著]
|
|
内容
|
Cofinal types around Pκλ and the tree property for directed sets / 柄戸正之 [著]
|
|
内容
|
Finite support iteration of c.c.c forcing notions and Parametrized ◇- principles / 南裕明 [著]
|
|
内容
|
Weak Kurepa trees and weak diamonds / 宮元忠敏 [著]
|
|
内容
|
A square principle in the context of Pκλ / Greg Piper [著]
|
|
内容
|
Some characterizations of strongly σ-short Boolean Algebras / 高橋真 [著]
|
|
内容
|
[クローバー] and destructible gaps / 依岡輝幸 [著]
|
|
注記
|
研究集会報告集: 2004年10月27日-10月29日. 研究代表者: 吉信康夫
|
|
注記
|
その他のタイトルは目次による
|
|
注記
|
[クローバー]はクローバーマークによる表示
|
|
注記
|
参考文献: 各論文末
|
|
NCID
|
BA72231669
|
|
本文言語
|
英語
|
|
著者名リンク
|
京都大学数理解析研究所||キョウト ダイガク スウリ カイセキ ケンキュウショ <AU00008183>
|
|
著者名リンク
|
吉信, 康夫
ヨシノブ, ヤスオ <>
|
目録検索 ▼
アカウントサービス ▼
