John Goodrick

13 papers Journal 13

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Discrete Sets Definable in Strong expansions of Ordered Abelian Groups. J. Symb. Log. Alfred Dolich, John Goodrick
2023	J	`jnl`	Topological properties of definable sets in ordered Abelian groups of burden 2. Math. Log. Q. Alfred Dolich, John Goodrick
2020	J	`jnl`	A Parametric Version of LLL and Some Consequences: Parametric Shortest and Closest Vector Problems. SIAM J. Discret. Math. Tristram Bogart, John Goodrick, Kevin Woods
2019	J	`jnl`	Parametric Presburger arithmetic: complexity of counting and quantifier elimination. Math. Log. Q. Tristram Bogart, John Goodrick, Danny Nguyen, Kevin Woods
2019	J	`jnl`	Some remarks on inp-minimal and finite burden groups. Arch. Math. Log. Jan Dobrowolski, John Goodrick
2018	J	`jnl`	Bounding quantification in parametric expansions of Presburger arithmetic. Arch. Math. Log. John Goodrick
2018	J	`jnl`	Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination. CoRR Tristram Bogart, John Goodrick, Danny Nguyen, Kevin Woods
2017	J	`jnl`	Homology groups of types in stable theories and the Hurewicz correspondence. Ann. Pure Appl. Log. John Goodrick, Byunghan Kim, Alexei S. Kolesnikov
2015	J	`jnl`	Type-amalgamation properties and polygroupoids in stable theories. J. Math. Log. John Goodrick, Byunghan Kim, Alexei S. Kolesnikov
2013	J	`jnl`	Homology groups of types in model theory and the computation of H J. Symb. Log. John Goodrick, Byunghan Kim, Alexei S. Kolesnikov
2011	J	`jnl`	Dp-Minimality: Basic Facts and Examples. Notre Dame J. Formal Log. Alfred Dolich, John Goodrick, David Lippel
2010	J	`jnl`	A monotonicity theorem for dp-minimal densely ordered groups. J. Symb. Log. John Goodrick
2010	J	`jnl`	Groupoids, covers, and 3-uniqueness in stable theories. J. Symb. Log. John Goodrick, Alexei S. Kolesnikov