Takeshi Yamazaki

A non-standard construction of Haar measure and weak König's lemma

Takeshi Yamazaki, Kazuyuki Tanaka, Kazuyuki Tanaka, 2000, Journal of Symbolic Logic.

Some More Conservation Results on the Baire Category Theorem

Takeshi Yamazaki, 2000 .