papers
Publications (14)
math.CO2017
Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior
Tristram Bogart, John Goodrick, Kevin Woods
math.LO2010
Amalgamation functors and boundary properties in simple theories
John Goodrick, Byunghan Kim, Alexei Kolesnikov
math.LO2017
A characterization of strongly dependent ordered Abelian groups
Alfred Dolich, John Goodrick
math.LO2007
The Schroder-Bernstein property for theories of abelian groups
John Goodrick
math.LO2007
When does elementary bi-embeddability imply isomorphism?
John Goodrick
math.LO2012
The Schroder-Bernstein property for a-saturated models
John Goodrick, Michael C. Laskowski
math.LO2009
Dp-minimality: basic facts and examples
Alfred Dolich, John Goodrick, David Lippel
math.LO2017
Bounding quantification in parametric expansions of Presburger arithmetic
John Goodrick
math.LO2016
Strong theories of ordered abelian groups
Alfred Dolich, John Goodrick
math.LO2014
Type-amalgamation properties and polygroupoids in stable theories
John Goodrick, Byunghan Kim, Alexei Kolesnikov
math.LO2011
Amalgamation functors and homology groups in model theory
John Goodrick, Byunghan Kim, Alexei Kolesnikov
math.LO2016
Homology groups of types in stable theories and the Hurewicz correspondence
John Goodrick, Byunghan Kim, Alexei Kolesnikov
math.LO2018
Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination
Tristram Bogart, John Goodrick, Danny Nguyen +1
math.LO2009
The Schröder-Bernstein property for weakly minimal theories
John Goodrick, Michael C. Laskowski