The following pages link to John Goodrick (Q645743):
Displaying 18 items.
- Dp-minimality: basic facts and examples (Q645745) (← links)
- Bounding quantification in parametric expansions of Presburger arithmetic (Q1661676) (← links)
- Some remarks on inp-minimal and finite burden groups (Q1734255) (← links)
- The Schröder-Bernstein property for weakly minimal theories (Q1760325) (← links)
- Amalgamation functors and boundary properties in simple theories (Q1955866) (← links)
- Tame topology over definable uniform structures (Q2134276) (← links)
- Homology groups of types in stable theories and the Hurewicz correspondence (Q2358628) (← links)
- Strong theories of ordered Abelian groups (Q2957274) (← links)
- Characterization of the Second Homology Group of a Stationary Type in a Stable Theory (Q2989965) (← links)
- A Characterization of Strongly Dependent Ordered Abelian Groups (Q3296933) (← links)
- Groupoids, covers, and 3-uniqueness in stable theories (Q4931098) (← links)
- A monotonicity theorem for dp-minimal densely ordered groups (Q5190197) (← links)
- Amalgamation functors and homology groups in model theory (Q5371225) (← links)
- The Schröder-Bernstein property for 𝑎-saturated models (Q5401683) (← links)
- Homology Groups of Types in Model Theory and the Computation of <i>H</i><sub>2</sub>(<i>p</i>) (Q5407042) (← links)
- Type-amalgamation properties and polygroupoids in stable theories (Q5501924) (← links)
- Topological properties of definable sets in ordered Abelian groups of burden 2 (Q6096725) (← links)
- Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination (Q6297283) (← links)
