本研究では,Lachlan予想の反例が持つべき条件を調べた.この予想の反例が存在するならば,special typeをもつ非可算範疇的理論でなければならない.この条件を満たす理論の存在は知られていたが,その例を改良したことで,条件を満たすgeneric構造を作ることができた. ホログラフィック構造とは,可算範疇性を弱めた構造である.可算範疇的でないホログラフィック構造として,体から作られた構造がある.可算範疇的でないホログラフィック構造として体を定義できないものがないかという問題があったが,ジェネリック構成法により,この問題を肯定的に解決することができた.
|