集合論―独立性証明への案内

独立性証明への案内 ケネス・キューネン 藤田博司 日本評論社BKSCPN_【高額商品】 シュウゴウロン キューネン,ケネス フジタ,ヒロシ 発行年月：2008年01月 ページ数：415p サイズ：単行本 ISBN：9784535783829 キューネン，ケネス（Kunen,Kenneth） Wisconsin大学教授 藤田博司（フジタヒロシ） 1964年京都府生まれ。1987年立命館大学理工学部数学物理学科卒業。1991年名古屋大学大学院理学研究科博士後期課程中退。現在、愛媛大学大学院理工学研究科数理物質科学専攻助教。専門は記述集合論（本データはこの書籍が刊行された当時に掲載されていたものです） 第1章　公理的集合論の基礎／第2章　無限集合の組み合わせ論／第3章　整礎集合／第4章　やさしい無矛盾性証明の例／第5章　定義可能性を定義する／第6章　構成可能的集合／第7章　強制法／第8章　反復強制法 本 科学・技術 数学