2003 Fiscal Year Annual Research Report
| Project/Area Number |
14740082
|
|---|
| Research Institution | Osaka Prefecture University |
|---|
Principal Investigator |
鈴木 登志雄 大阪府立大学, 総合科学部, 講師 (30235973)
|
|---|
| Keywords | 免疫集合 / 単純集合 / 計算量理論 / NP / 多項式時間階層 / ジェネリック・オラクル / ランダム・オラクル / 命題論理 |
|---|
| Research Abstract |
国際シンポジウムで発表[2]を行ない,その内容を発展させて論文[3]を投稿した。[3]において,1TAUT[X](クエリー記号の出現を一つ持つブール式のうち,集合Xに関してトートロジーであるもの全体の集合)がXに多項式時間btt還元可能でない集合X全体のクラスがカントル空間で測度1を持つことを示した.この結果はAmbos-Spiesらの一連の研究および我々の過去の研究(Information and Computation 176,2002)を拡張するものである.また,論文[1]の最終校正を行なった.なお,出版者の作業の遅れにより[1]は2003年に印刷された。
[1]Toshio Suzuki,
"Forcing complexity : minimum sizes of forcing conditions,"
Notre Dame Journal of Formal Logic 42,pp.117-120(2001).
[2]Toshio Suzuki,
"Forcing complexity : degree of randomness shown by minmum sizes of forcing conditions,"
Takeuti symposium-Proceedings of the symposium on mathematical logic '03 in honor of 50 years of Takeuti's conjecture and Gaisi Takeuti's 77th birthday,p.101,(December 17-19,2003),Kobe.
[3]Toshio Suzuki,
"Bounded truth table does not reduce the one-query tautologies to a random oracle,"
Archive for Mathematical Logic,投稿中(2004年2月).
|
