5 citations · 18 across the 16 of their papers we have counts for
Showing 2016 · math.LOShow all
2 papers · 2 filters
math.LO2016
Left-ordered inp-minimal groups
Jan Dobrowolski, John Goodrick
We prove that any left-ordered inp-minimal group is abelian, and we provide an example of a non-abelian left-ordered group of dp-rank 2.
math.LO2016
Bounding quantification in parametric expansions of Presburger arithmetic
John Goodrick
We generalize Cooper's method of quantifier elimination for classical Presburger arithmetic to give a new proof that all parametric Presburger families (as defined by Kevin Woods)…