実数の集合論と計算論
著者
書誌事項
実数の集合論と計算論
(数理解析研究所講究録, 1360)
京都大学数理解析研究所, 2004.4
- タイトル別名
-
Set theory and computability theory of the reals
- タイトル読み
-
ジッスウ ノ シュウゴウロン ト ケイサンロン
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
「実数の集合論と計算論, Set theory and computability theory of the reals」研究集会報告集 : 2003年10月28日-10月30日, 研究代表者: 藤田博司
その他のタイトルは目次による
参考文献あり
収録内容
- Generic拡大における射影集合の規則性に関連したいくつかの問題 / 藤田博司 [著]
- 実数値パラメータを含むある計算論におけるdegreeについて / 米澤佳己 [著]
- Nonsplitting subset of P[κ]λ / 薄葉季路 [著]
- Generalized prikry forcing and iteration of generic ultrapowers / 酒井拓史 [著]
- 順序数の積空間における弱い正規性について / 平田康史 [著]
- Localization forcing and Hechler's theorem for the null ideal / 嘉田勝 [著]
- There is an independent splitting family / Jörg Brendle [著]
- An application of proper forcings with models as side conditions / 依岡輝幸 [著]