2013 Fiscal Year Research-status Report
Project/Area Number |
25400193
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Research Institution | Chiba University |
Principal Investigator |
新井 敏康 千葉大学, 理学(系)研究科(研究院), 教授 (40193049)
|
Project Period (FY) |
2013-04-01 – 2018-03-31
|
Keywords | collapsing |
Research Abstract |
weakly compact cardinalの証明論はJour. Math. Logicから出版できた。これはZFにおいてweakly compact cardinalの存在を仮定したときそれがMahlo operationsのiterationsで如何に証明論的に近似できるかを示した結果である。 また reflecting ordinals に関するconservative extensionsについてと、ZFの証明論が近日中に出版される。前者はfirst order reflecting ordinalの公理系をそれよりひとつ下の階層の論理式によるreflectionのiterationsで証明論的に近似した結果である。後者はZFで存在が証明できるdefinable countable ordinalsの限界を表示した結果である。 更にintuitionistic fixed point theories over set theoriesの論文が受理された。これはstrictly positive operatorによる不動点の存在を集合論に付加しても直観主義論理のもとではconservative extensionsになるという結果である。 またpredicatively computable set functionsの論文が投稿中である。これは集合上の関数の新しいクラスを導入してそれがhereditarily finite sets上では多項式時間計算可能関数と一致することを示したものである。
|
Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
諸事とくに管理運営により多忙のため
|
Strategy for Future Research Activity |
indescribable cardinalsの証明論的研究を今年度中に完了し、monograph執筆に専念する予定。
|
Expenditure Plans for the Next FY Research Funding |
諸事とくに管理運営が多忙なため執行できなかった 11月にドイツのMathematical Research Institute of Oberwolfach で開催される研究集会へ招待されているのでこの際に旅費を支出する。また共同研究のためInnsbruck大学のGeorg Moser准教授を千葉大学に招聘する際にも旅費と滞在費を支出予定。
|