Kiwamu Aoyama

EQUIVALENCE OF THE INDUCTION SCHEMA AND THE LEAST NUMBER PRINCIPLE FOR OPEN FORMULAS

K. Fukuzaki, Kiwamu Aoyama, 1997, SUT Journal of Mathematics.

A note on built-upness

Noriya Kadota, Kiwamu Aoyama, Kiwamu Aoyama, 1988 .

Some extensions of built-upness on systems of fundamental sequences

Noriya Kadota, Kiwamu Aoyama, Kiwamu Aoyama, 1990, Math. Log. Q..