目次
第１章 公理的集合論の基礎
第２章 無限集合の組み合わせ論
第３章 整礎集合
第４章 やさしい無矛盾性証明の例
第５章 定義可能性を定義する
第６章 構成可能的集合
第７章 強制法
第８章 反復強制法
著者等紹介
キューネン，ケネス［キューネン，ケネス］［Ｋｕｎｅｎ，Ｋｅｎｎｅｔｈ］
Ｗｉｓｃｏｎｓｉｎ大学教授
藤田博司［フジタヒロシ］
１９６４年京都府生まれ。１９８７年立命館大学理工学部数学物理学科卒業。１９９１年名古屋大学大学院理学研究科博士後期課程中退。現在、愛媛大学大学院理工学研究科数理物質科学専攻助教。専門は記述集合論（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
kinaba
0
やっと強制法…というかジェネリック拡大理解できた。しっかりギャップなく書かれているので、2015年現在の巷の"噛み砕いた"解説で首をかしげるよりも、いや結局首をかしげながらには変わりないのだけれど前から確実に全部読んでいけば確実にわかるので早い。2015/07/09
まつど@理工
0
メモ:演習問題の解答のサイト。
