2000 character limit reached
Strong theories of ordered abelian groups
Published 26 Nov 2015 in math.LO | (1511.08274v3)
Abstract: We consider strong expansions of the theory of ordered abelian groups. We show that the assumption of strength has a multitude of desirable consequences for the structure of definable sets in such theories, in particular as relates to definable infinite discrete sets. We also provide a range of examples of strong expansions of ordered abelian groups which demonstrate the great variety of such theories.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.