Existentially Closed Models of The Theory of Artinian Local Rings. - Hans Schoutens (J. Symb. Log., 1999)

Classifying singularities up to analytic extensions of scalars is smooth. - Hans Schoutens (Ann. Pure Appl. Log., 2011)

Computably Categorical Fields via Fermat's Last Theorem. - Russell G. Miller; Hans Schoutens (Comput., 2013)

O-Minimalism. - Hans Schoutens (J. Symb. Log., 2014)

A Computable Functor from graphs to Fields. - Russell G. Miller; Bjorn Poonen; Hans Schoutens; Alexandra Shlapentokh (J. Symb. Log., 2018)

Degree Spectra for Transcendence in Fields. - Iskander Sh. Kalimullin; Russell G. Miller; Hans Schoutens (CiE, 2019)