Switch to: References

Add citations

You must login to add citations.
  1. Discrete Sets Definable in Strong Expansions of Ordered Abelian Groups.Alfred Dolich & John Goodrick - forthcoming - Journal of Symbolic Logic:1-37.
    We study the structure of infinite discrete sets D definable in expansions of ordered Abelian groups whose theories are strong and definably complete, with a particular emphasis on the set $D'$ comprised of differences between successive elements. In particular, if the burden of the structure is at most n, then the result of applying the operation $D \mapsto D'\ n$ times must be a finite set (Theorem 1.1). In the case when the structure is densely ordered and has burden $2$, (...)
    Download  
     
    Export citation  
     
    Bookmark