12/01/06 20:07:47.44
>>130
122のレスは
>載っている。
>非正規世界(non-normal world)って名称ではないけど。
という部分と、
>あるシステムLを正規なまま拡張したシステム全体のクラスがNExt(L)で、
>記述されている。
>このシステムのクラスNExt(L)自体の順序構造も調べられているよう。
の部分は完全に別の話をしているという理解でいいの？
同じ話題だとすると、正規でない L について「正規なまま拡張」なんてできない訳で、
何言っているかやっぱり分からんのだ。