Updated on 2021/02/03

写真a

 
AOYAMA Kiwamu
 
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

Degree

  • 理学修士 ( 1986.3   静岡大学 )

Research Interests

  • 計算量

  • 証明可能性

  • 表現可能性

  • 数学的帰納法

  • 自然数論

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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 青山究 .  A note on definable subsets of N^k .  Rep. Fac. Sci., Kagoshima Univ.26   23 - 32   1993A note on definable subsets of N^k

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 青山究 .  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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 角田法也, 青山究 .  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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 角田法也, 青山研究 .  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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 青山究, 角田法也 .  A note on built-upness .  Mem. Fac. Sci., Kyushu Univ. Ser. A, Math.42 ( 2 ) 159 - 165   1988.1A note on built-upnessReviewed

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 青山究 .  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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

  • 青山究 .  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

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

▼display all