南山大学　シラバス検索用

講義題目
開講キャンパス	瀬戸キャンパス
授業概要	研究指導Iで設定した研究テーマについて、引き続き基礎的なスキルの指導を行う。特定の問題に対して、特にモデル構築、適用できる手法の考察、または開発について学ぶ。
学修目標	１．数学的に厳密な論証能力を養成する。２．公理的集合論の基本的概念の取り扱いができる。
授業計画	第１〜２週：Relativization and absoluteness 第３週：Reflection theorems 第４〜６週：Forcing and the generic extensions 第７〜８週：Forcing with finite partial functions 第９週〜第10週：Forcing with countable partial functions 第11週〜第12週：Forcing with Axiom A partial orders 第13週〜第15週：Forcing with proper partial orders
評価方法	演習時間内の発表とレポートの合計
テキスト	Set Theory An Introduction to Independence Proofs K. Kunen 著 North-Holland
その他