John Goodrick

According to our database, John Goodrick authored at least 11 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Topological properties of definable sets in ordered Abelian groups of burden 2.

Alfred Dolich, John Goodrick

Math. Log. Q., May, 2023

2020

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

2019

Parametric Presburger arithmetic: complexity of counting and quantifier elimination.

Tristram Bogart, John Goodrick, Danny Nguyen, Kevin Woods

Math. Log. Q., 2019

Some remarks on inp-minimal and finite burden groups.

Jan Dobrowolski, John Goodrick

Arch. Math. Log., 2019

2018

Bounding quantification in parametric expansions of Presburger arithmetic.

John Goodrick

Arch. Math. Log., 2018

2017

Homology groups of types in stable theories and the Hurewicz correspondence.

John Goodrick, Byunghan Kim, Alexei S. Kolesnikov

Ann. Pure Appl. Log., 2017

2015

Type-amalgamation properties and polygroupoids in stable theories.

John Goodrick, Byunghan Kim, Alexei S. Kolesnikov

J. Math. Log., 2015

2013

Homology groups of types in model theory and the computation of H_2(p).

John Goodrick, Byunghan Kim, Alexei S. Kolesnikov

J. Symb. Log., 2013

2011

Dp-Minimality: Basic Facts and Examples.

Alfred Dolich, John Goodrick, David Lippel

Notre Dame J. Formal Log., 2011

2010

Groupoids, covers, and 3-uniqueness in stable theories.

John Goodrick, Alexei S. Kolesnikov

J. Symb. Log., 2010

A monotonicity theorem for dp-minimal densely ordered groups.

John Goodrick

J. Symb. Log., 2010