>>214 参考

https://ja.wikipedia.org/wiki/%E3%82%B1%E3%83%8D%E3%82%B9%E3%83%BB%E3%82%AD%E3%83%A5%E3%83%BC%E3%83%8D%E3%83%B3
ケネス・キューネン
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ナビゲーションに移動検索に移動
ハーバート・ケネス・キューネン（Herbert Kenneth Kunen、1943年8月2日 - ）は ウィスコンシン大学マディソン校[1] の数学名誉教授で、集合論及び集合論的位相空間論や測度論を研究している。 ループのような非結合的代数系に関してもOtterなどといった自動定理証明システムを用いて 定理を証明し功績をあげている。

キューネンは構成可能宇宙の非自明な初等埋め込み j:L→L が存在すれば、 0#が存在することを示した。 また、彼はHuge cardinalの存在性が無矛盾なら {\displaystyle \aleph _{1}} \aleph _{1} 上のnormalな {\displaystyle \aleph _{2}} \aleph _{2}-飽和イデアルの存在が無矛盾であることも示している。

キューネンはスタンフォード大学で1968年に博士号を取得している[2]。指導教員はデイナ・スコットであった。

https://en.wikipedia.org/wiki/Kenneth_Kunen
Kenneth Kunen

ついで
https://en.wikipedia.org/wiki/Akihiro_Kanamori
Akihiro Kanamori (金森 晶洋 Kanamori Akihiro, born October 23, 1948 in Tokyo) is a Japanese-born American mathematician. He specializes in set theory and is the author of the monograph on large cardinals, The Higher Infinite.[1] He wrote several essays on the history of mathematics, especially set theory.

Kanamori graduated from California Institute of Technology and earned a Ph.D. from University of Cambridge (King’s College). He is a professor of mathematics at Boston University.

With Matthew Foreman he is the editor of the Handbook of Set Theory (2010).[2]