Type-amalgamation properties and polygroupoids in stable theories.
- Published in:
- Journal of Mathematical Logic, 2015, v. 15, n. 1, p. -1, doi. 10.1142/S021906131550004X
- By:
- Publication type:
- Article
Works matching AU GOODRICK, JOHN
Results: 9
1
2
Some remarks on inp-minimal and finite burden groups.
- Published in:
- Archive for Mathematical Logic, 2019, v. 58, n. 3/4, p. 267, doi. 10.1007/s00153-018-0634-3
- By:
- Publication type:
- Article
3
Bounding quantification in parametric expansions of Presburger arithmetic.
- Published in:
- Archive for Mathematical Logic, 2018, v. 57, n. 5/6, p. 577, doi. 10.1007/s00153-017-0593-0
- By:
- Publication type:
- Article
4
DISCRETE SETS DEFINABLE IN STRONG EXPANSIONS OF ORDERED ABELIAN GROUPS.
- Published in:
- Journal of Symbolic Logic, 2025, v. 90, n. 1, p. 423, doi. 10.1017/jsl.2024.43
- By:
- Publication type:
- Article
5
HOMOLOGY GROUPS OF TYPES IN MODEL THEORY AND THE COMPUTATION OF H<sub>2</sub>(p).
- Published in:
- Journal of Symbolic Logic, 2013, v. 78, n. 4, p. 1086, doi. 10.2178/jsl.7804040
- By:
- Publication type:
- Article
6
A Characterization of Strongly Dependent Ordered Abelian Groups.
- Published in:
- Revista Colombiana de Matemáticas, 2018, v. 52, n. 2, p. 139, doi. 10.15446/recolma.v52n2.77154
- By:
- Publication type:
- Article
7
Topological properties of definable sets in ordered Abelian groups of burden 2.
- Published in:
- Mathematical Logic Quarterly, 2023, v. 69, n. 2, p. 147, doi. 10.1002/malq.202200052
- By:
- Publication type:
- Article
8
Parametric Presburger arithmetic: complexity of counting and quantifier elimination.
- Published in:
- Mathematical Logic Quarterly, 2019, v. 65, n. 2, p. 237, doi. 10.1002/malq.201800068
- By:
- Publication type:
- Article
9
Periodic behavior in families of numerical and affine semigroups via parametric Presburger arithmetic.
- Published in:
- Semigroup Forum, 2021, v. 102, n. 2, p. 340, doi. 10.1007/s00233-021-10164-3
- By:
- Publication type:
- Article