Pages that link to "Item:Q3274978"
From MaRDI portal
The following pages link to Elementary Properties of Ordered Abelian Groups (Q3274978):
Displaying 27 items.
- The algebra and model theory of tame valued fields (Q323734) (← links)
- Valued difference fields and \(\mathrm{NTP}_2\) (Q480802) (← links)
- A positivstellensatz for chain-closed fields, \({\mathbb{R}}((t))\) and some related fields (Q802672) (← links)
- Relative elimination of quantifiers for Henselian valued fields (Q810501) (← links)
- The model theory of separably tame valued fields (Q897758) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Towards a general theory of formally p-adic fields (Q1147758) (← links)
- Quantifier elimination for Henselian fields relative to additive and multiplicative congruences (Q1320036) (← links)
- Coset-minimal groups (Q1399099) (← links)
- Essentially periodic ordered groups (Q1591377) (← links)
- Fractional parts of dense additive subgroups of real numbers (Q1630856) (← links)
- Some model theory for generalized trees (Q1825187) (← links)
- A classification of BL-algebras (Q1867635) (← links)
- On the structure of nonarchimedean exponential fields. I (Q1893230) (← links)
- Diophantine problems over tamely ramified fields (Q2109050) (← links)
- Ordered fields dense in their real closure and definable convex valuations (Q2121257) (← links)
- A characterization of pseudofinite MV-algebras (Q2153659) (← links)
- A ''natural'' theory without a prime model (Q2264761) (← links)
- On decidability and axiomatizability of some ordered structures (Q2318170) (← links)
- Hyperfinite MV-algebras (Q2376570) (← links)
- Elimination of unbounded quantifiers for some poly-regular groups of infinite rank (Q2461190) (← links)
- Distality in valued fields and related structures (Q5082371) (← links)
- Pseudo‐c‐archimedean and pseudo‐finite cyclically ordered groups (Q5108872) (← links)
- THE FIELD OF <i>p</i>-ADIC NUMBERS WITH A PREDICATE FOR THE POWERS OF AN INTEGER (Q5738196) (← links)
- Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ (Q6134890) (← links)
- ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK (Q6140188) (← links)
- Decidability via the tilting correspondence (Q6154489) (← links)
