基本的なことなのだけど、新版Kunen IV.6 Current Forcing Notationに述べられているような、「Vをgeneric filter GでV[G]に拡大するかのような方便」を使うことの意味が少しよくわかった。 いやつまり、この新版Kunenでは、「公式見解」として「Vってのは本…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。