ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK
From MaRDI portal
Publication:6140188
DOI10.1017/jsl.2023.6arXiv2106.01500OpenAlexW4319319802MaRDI QIDQ6140188
Publication date: 22 December 2023
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2106.01500
Model theory of ordered structures; o-minimality (03C64) Other classical first-order model theory (03C68)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quantifier elimination in ordered abelian groups
- A survey of basic stability theory, with particular emphasis on orthogonality and regular types
- Classification theory and the number of non-isomorphic models.
- Strongly dependent ordered abelian groups and Henselian fields
- Strong theories of ordered Abelian groups
- Elementary Properties of Ordered Abelian Groups
- The Theory of Ordered Abelian Groups does not have the Independence Property
- Imaginaries and definable types in algebraically closed valued fields
- Distality in valued fields and related structures
- DP-MINIMAL VALUED FIELDS
- Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$
This page was built for publication: ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK