Notes
A note on first-order arithmetic (Japanese)
On the big five in second-order arithmetic (Japanese)
On the axiom of choice in second-order arithmetic (Japanese)
On the Axiom of Weak Choice (English)
On the difference hierarchy (Japanese, in preparation)