Conversation

Notices

1. Embed this notice
   fujidig@mathtod.online's status on Friday, 16-Aug-2024 21:24:12 JST fujidig

   proper forcingの定義は最初読んだら「は？」だけど、countable support iterationで保たれることの証明を見ると、これがやりたかったのね、というかむしろこの証明から逆算して定義にたどり着いたんだんじゃない？という感じ

   • Embed this notice
     fujidig@mathtod.online's status on Friday, 16-Aug-2024 21:26:21 JST fujidig

     in reply to

     (僕はまだproperがcsiで保たれることの証明を十分に理解できていないけど…)