A monotonicity theorem for dp-minimal densely ordered groups. - John Goodrick (J. Symb. Log., 2010)

Groupoids, covers, and 3-uniqueness in stable theories. - John Goodrick; Alexei S. Kolesnikov (J. Symb. Log., 2010)

Dp-Minimality: Basic Facts and Examples. - Alfred Dolich; John Goodrick; David Lippel (Notre Dame J. Formal Log., 2011)

Homology groups of types in model theory and the computation of H2(p). - John Goodrick; Byunghan Kim; Alexei S. Kolesnikov (J. Symb. Log., 2013)

Type-amalgamation properties and polygroupoids in stable theories. - John Goodrick; Byunghan Kim; Alexei S. Kolesnikov (J. Math. Log., 2015)

Homology groups of types in stable theories and the Hurewicz correspondence. - John Goodrick; Byunghan Kim; Alexei S. Kolesnikov (Ann. Pure Appl. Log., 2017)

Bounding quantification in parametric expansions of Presburger arithmetic. - John Goodrick (Arch. Math. Log., 2018)

Some remarks on inp-minimal and finite burden groups. - Jan Dobrowolski; John Goodrick (Arch. Math. Log., 2019)

Parametric Presburger arithmetic: complexity of counting and quantifier elimination. - Tristram Bogart; John Goodrick; Danny Nguyen; Kevin Woods (Math. Log. Q., 2019)

A Parametric Version of LLL and Some Consequences: Parametric Shortest and Closest Vector Problems. - Tristram Bogart; John Goodrick; Kevin Woods (SIAM J. Discret. Math., 2020)

Topological properties of definable sets in ordered Abelian groups of burden 2. - Alfred Dolich; John Goodrick (Math. Log. Q., 2023)

Discrete Sets Definable in Strong expansions of Ordered Abelian Groups. - Alfred Dolich; John Goodrick (J. Symb. Log., 2025)