1,980 followers
"Higher Set Theory"(https://t.co/uaujijowLY)という本があって、その中にあるKanamoriとMagidorによる"The evolution of large cardinal axioms in set theory"というのがHigher Infiniteの前の巨大基数テキストだった。
"Higher Set Theory"(https://t.co/uaujijowLY)という本があって、その中にあるKanamoriとMagidorによる"The evolution of large cardinal axioms in set theory"というのがHigher Infiniteの前の巨大基数テキストだった。
Δ^1_2以上のとこでのLaver性をどう制御できるのかずっと考えていたわけだけれど、結局KechrisのForcing in Analysis http://t.co/zNhMttjPeR で全部片付く気がしてきた。