数理論理学（数学基礎論） その13

[0506 １３２人目の素数さん 2018/12/07(金) 14:13:06.47 ID:QVsLGMcB]

>>503
ホント、そうだね。
数理論理学の話をしたいね。
今、Jech の set theory を読んでいるんだけど、
generic の separative quotient が generic になることの証明が省かれていて、
わからなくて困っています。誰か教えてください。