青山 究
アオヤマ キワム (Kiwamu Aoyama)
更新日: 2024/01/31
基本情報
研究キーワード
2学歴
6-
- 1988年
-
- 1988年
-
- 1986年
-
- 1986年
-
- 1983年
-
- 1983年
MISC
14-
SUT Journal of Mathematics. 33(2) 149-162 1997年
-
Equivalence of the induction schema and the least number principle for open formulas(jointly worked)SUT Journal of Mathematics 33(2) 149-162 1997年
-
Rep. Fac. Sci., Kagoshima Univ. 26 23-32 1993年
-
Reports of the Faculty of Science Kagoshima University (26) 23 1993年
-
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK 36(4) 357-364 1990年
-
Several examples of system of fundamental sequences to show a connection among the built-up systems.Rep. Fac. Sci., Kagoshima Univ. 22 1-6 1990年
-
Zeit. fur Math. Logik 36 1990年
-
Rep. Fac. Sci. , Kagoshima Univ. 22 1990年
-
Mem. Fac. Sci., Kyushu Univ. 42(2) 159-165 1988年
-
RIMS. Kyoto Univ. 644 30-43 1988年
-
Mem. Fac. Sci. , Kyushu Univ. Ser. A. Math. 42(2) 1988年
-
Rep. Fac. Sci., Shizuoka Univ. 21 1-8 1987年
-
Rep. Fac. Sci. , Shizuoka Univ. 21 1987年
-
Proceeding of the symposium on mathematical logic 1985年
所属学協会
1共同研究・競争的資金等の研究課題
8-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2007年 - 2008年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2005年 - 2006年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2000年 - 2001年
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 1998年 - 1999年
-
日本学術振興会 科学研究費助成事業 奨励研究(A) 1994年 - 1994年
-
日本学術振興会 科学研究費助成事業 奨励研究(A) 1992年 - 1992年