John Goodrick

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 7

Top Topics

Rough Approximations

Topological Properties

Quantifier Elimination

First Order Logic

Top Venues

Arch. Math. Log.

Publications

Alfred Dolich, John Goodrick
Topological properties of definable sets in ordered Abelian groups of burden 2. Math. Log. Q. 69 (2) (2023)
Tristram Bogart, John Goodrick, Kevin Woods
A Parametric Version of LLL and Some Consequences: Parametric Shortest and Closest Vector Problems. SIAM J. Discret. Math. 34 (4) (2020)
Jan Dobrowolski, John Goodrick
Some remarks on inp-minimal and finite burden groups. Arch. Math. Log. 58 (3-4) (2019)
Tristram Bogart, John Goodrick, Danny Nguyen, Kevin Woods
Parametric Presburger arithmetic: complexity of counting and quantifier elimination. Math. Log. Q. 65 (2) (2019)
Tristram Bogart, John Goodrick, Danny Nguyen, Kevin Woods
Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination. CoRR (2018)
John Goodrick
Bounding quantification in parametric expansions of Presburger arithmetic. Arch. Math. Log. 57 (5-6) (2018)
John Goodrick, Byunghan Kim, Alexei S. Kolesnikov
Homology groups of types in stable theories and the Hurewicz correspondence. Ann. Pure Appl. Log. 168 (9) (2017)
John Goodrick, Byunghan Kim, Alexei S. Kolesnikov
Type-amalgamation properties and polygroupoids in stable theories. J. Math. Log. 15 (1) (2015)
John Goodrick, Byunghan Kim, Alexei S. Kolesnikov
. J. Symb. Log. 78 (4) (2013)
Alfred Dolich, John Goodrick, David Lippel
Dp-Minimality: Basic Facts and Examples. Notre Dame J. Formal Log. 52 (3) (2011)
John Goodrick, Alexei S. Kolesnikov
Groupoids, covers, and 3-uniqueness in stable theories. J. Symb. Log. 75 (3) (2010)
John Goodrick
A monotonicity theorem for dp-minimal densely ordered groups. J. Symb. Log. 75 (1) (2010)