ケネス・キューネンのソースを表示

[[File:Kenneth Kunen.jpg|thumb|200px|right|ケネス・キューネン]]
'''ハーバート・ケネス・キューネン'''（Herbert Kenneth Kunen、[[1943年]][[8月2日]] - [[2020年]][[8月14日]]）は、[[アメリカ合衆国]]の[[数学者]]。

キューネンは[[スタンフォード大学]]で1968年に[[博士号]]を取得している<ref>{{MathGenealogy|id=9055}} {{en icon}}</ref>。指導教員は[[デイナ・スコット]]であった。

==人物==
[[ウィスコンシン大学マディソン校]]<ref>http://www.math.wisc.edu/~apache/emeriti.html {{リンク切れ|date=2014年9月}}</ref>
の[[数学]]名誉教授で、[[集合論]]及び集合論的[[位相空間論]]や[[測度論]]を研究している。
[[準群|ループ]]のような非結合的代数系に関しても[[Otter]]などといった自動定理証明システムを用いて
定理を証明し功績をあげている。

キューネンは構成可能宇宙の非自明な初等埋め込み ''j'':''L''→''L'' が存在すれば、
[[zero sharp|0<sup>#</sup>]]が存在することを示した。
また、彼は[[Huge cardinal]]の存在性が無矛盾なら
<math>\aleph_1</math> 上のnormalな<math>\aleph_2</math>-飽和イデアルの存在が無矛盾であることも示している。

彼は可測基数 <math>\kappa</math> が <math>2^\kappa>\kappa^+</math> となるか[[強コンパクト基数]]であるなら
<math>\kappa</math> 個の可測基数が存在する集合論の[[内部モデル (数学)|内部モデル]]が存在することを示して、
iterated ultrapowersの方法を提唱した。

彼が証明した[[:en:Kunen's inconsistency theorem|キューネンの無矛盾性定理]]は、[[:en:Reinhardt cardinal|ラインハルト基数]]の存在を示唆する非自明な初等埋め込み <math>V\to  V</math> の不可能性を示しており、これは1970年代当時、（巨大基数に関わる）集合論の研究者たちに大きな衝撃を与えた。

==主な著作==
* ''Set Theory''. College Publications, 2011. ISBN 978-1848900509.
* ''The Foundations of Mathematics''. College Publications, 2009.  ISBN 978-1904987147.
** 翻訳『キューネン数学基礎論講義』藤田博司 訳 日本評論社 2016年 ISBN 978-4-535-78748-3
*''Set Theory: An Introduction to Independence Proofs''. North-Holland, 1980. ISBN 0-444-85401-0.
** 翻訳『集合論―独立性証明への案内』藤田博司 訳 日本評論社 2008年 ISBN 4535783829
* (co-edited with Jerry E. Vaughan). ''Handbook of Set-Theoretic Topology''. North-Holland, 1984. ISBN 0-444-86580-2.

==参照==
<references/>

==外部リンク==
*[http://www.math.wisc.edu/~kunen/ Kunen's home page] {{en icon}}

{{Normdaten}}


{{DEFAULTSORT:きゆうねん けねす}}
[[Category:20世紀の数学者|430802]]
[[Category:21世紀の数学者|-430802]]
[[Category:20世紀の論理学者]]
[[Category:21世紀の論理学者]]
[[Category:アメリカ合衆国の数学者]]
[[Category:アメリカ合衆国の論理学者]]
[[Category:アメリカ合衆国の位相幾何学者]]
[[Category:アメリカ合衆国の集合論研究者]]
[[Category:ウィスコンシン大学マディソン校の教員]]
[[Category:1943年生]]
[[Category:2020年没]]