Organization
Research Field in Science, Science and Engineering Area Graduate School of Science and Engineering (Science) Department of Science Mathematics and Informatics Program Lecturer
Title
Lecturer
AOYAMA Kiwamu
Degree
-
理学修士 ( 1986.3 静岡大学 )
Research Interests
-
計算量
-
証明可能性
-
表現可能性
-
数学的帰納法
-
自然数論
Research Areas
-
Natural Science / Basic mathematics
Research History
-
Kagoshima University Research Field in Science, Science and Engineering Area Graduate School of Science and Engineering (Science) Department of Science Mathematics and Informatics Program Lecturer
2020.4
-
Kagoshima University
1988.4
-
Kagoshima University Research Field in Science, Science and Engineering Area Graduate School of Science and Engineering (Science) Mathematics and Computer Science Course Lecturer
1988.4 - 2020.3
Professional Memberships
-
日本数学会
1988.4
Papers
-
青山究, 福崎賢治 . Equivalence of the induction schema and the least number principle for open formulas . SUT Journal of Mathematics33 ( 2 ) 149 - 162 1997Equivalence of the induction schema and the least number principle for open formulasReviewed
-
青山究 . A note on definable subsets of N^k . Rep. Fac. Sci., Kagoshima Univ.26 23 - 32 1993A note on definable subsets of N^k
-
青山究 . Several examples of system of fundamental sequences to show a connection among the built-up systems . Rep. Fac. Sci., Kagoshima Univ.22 1 - 6 1990Several examples of system of fundamental sequences to show a connection among the built-up systems
-
角田法也, 青山究 . Some extensions of built-upness on systems of fundamental sequences . Zeit. fur Math. Logik.36 357 - 364 1990Some extensions of built-upness on systems of fundamental sequencesReviewed
-
角田法也, 青山研究 . A note on Schmidt's built-up systems of fundamental sequences . RIMS. Kyoto Univ. 644 30 - 43 1988.1A note on Schmidt's built-up systems of fundamental sequencesReviewed
-
青山究, 角田法也 . A note on built-upness . Mem. Fac. Sci., Kyushu Univ. Ser. A, Math.42 ( 2 ) 159 - 165 1988.1A note on built-upnessReviewed
-
青山究 . On definability of relations in standard models of fragments of first order arithmetic . Rep. Fac. Sci., Shizuoka Univ.21 1 - 8 1987.1On definability of relations in standard models of fragments of first order arithmetic
-
青山究 . On the definability of binary relations in standard models of first order arithmetics without addition . Proceeding of the symposium on mathematical logic 1 - 5 1985On the definability of binary relations in standard models of first order arithmetics without addition