25 citations · 70 across the 21 of their papers we have counts for
Showing 2016 · math.LOShow all
2 papers · 2 filters
math.LO2016
There are no intermediate structures between the group of integers and Presburger arithmetic
Gabriel Conant
We show that if a first-order structure , with universe , is an expansion of and a reduct of , then mu…
math.LO2016
Stable groups and expansions of
Gabriel Conant, Anand Pillay
We show that if is a sufficiently saturated stable group of finite weight with no infinite, infinite-index, chains of definable subgroups, then is superstable of finite …