Conversation

Notices

1. Embed this notice
   fujidig@mathtod.online's status on Saturday, 16-Dec-2023 09:47:46 JST fujidig

   $L$の切片$L_\alpha$が出てくる議論がよくわからない、。ちゃんと追って理解すべき。

   • Embed this notice
     fujidig@mathtod.online's status on Saturday, 16-Dec-2023 09:48:30 JST fujidig

     in reply to

     たとえば画像のような議論がよく理解できないので、理解していきたい。
     Engelen-Millerの"Rigid Borel sets and better quasi-order theory"より。

   • Embed this notice
     fujidig@mathtod.online's status on Saturday, 16-Dec-2023 09:49:21 JST fujidig

     in reply to

     $L_α$で何が成り立つとかあまり考えたことないので、よく分からん！ $L_α$ ($α$は任意の極限順序数)は対の公理を満たす、とかそういう自明なものは分かるが…。
     逆に後続だと対の公理もないので、色々絶対性も使えないのでは〜という話も。