Implicit Definability of Subfields. - Kenji Fukuzaki; Akito Tsuboi (Notre Dame J. Formal Log., 2003)

Definability of the ring of integers in some infinite algebraic extensions of the rationals. - Kenji Fukuzaki (Math. Log. Q., 2012)