Elementary Properties of Ordered Abelian Groups
From MaRDI portal
Publication:3274978
DOI10.2307/1993461zbMath0096.24504OpenAlexW4250340444MaRDI QIDQ3274978
Publication date: 1960
Full work available at URL: https://doi.org/10.2307/1993461
Related Items
Ordered fields dense in their real closure and definable convex valuations ⋮ Fractional parts of dense additive subgroups of real numbers ⋮ Hyperfinite MV-algebras ⋮ On the structure of nonarchimedean exponential fields. I ⋮ The algebra and model theory of tame valued fields ⋮ A characterization of pseudofinite MV-algebras ⋮ Distality in valued fields and related structures ⋮ Coset-minimal groups ⋮ Pseudo‐c‐archimedean and pseudo‐finite cyclically ordered groups ⋮ The model theory of separably tame valued fields ⋮ Elimination of imaginaries in C((Γ))$\mathbb {C}((\Gamma ))$ ⋮ ELIMINATION OF IMAGINARIES IN ORDERED ABELIAN GROUPS WITH BOUNDED REGULAR RANK ⋮ Decidability via the tilting correspondence ⋮ Towards a general theory of formally p-adic fields ⋮ Existentially Complete Abelian Lattice-Ordered Groups ⋮ Characterization of extremal valued fields ⋮ Valued difference fields and \(\mathrm{NTP}_2\) ⋮ Elementary equivalence in Artin groups of finite type ⋮ Elimination of unbounded quantifiers for some poly-regular groups of infinite rank ⋮ THE FIELD OF p-ADIC NUMBERS WITH A PREDICATE FOR THE POWERS OF AN INTEGER ⋮ Abraham Robinson, 1918-1974 ⋮ Verallgemeinerte formal \(\mathfrak p\)-adische Körper ⋮ A natural theory without a prime model ⋮ A list of arithmetical structures complete with respect to the first-order definability ⋮ Generalized Archimedean Groups ⋮ Rigid homogeneous chains ⋮ Verallgemeinerte formal \(\mathfrak p\)-adische Körper ⋮ Some model theory for generalized trees ⋮ On decidability and axiomatizability of some ordered structures ⋮ Embedding Theorems and Generalized Discrete Ordered Abelian Groups ⋮ Essentially periodic ordered groups ⋮ A positivstellensatz for chain-closed fields, \({\mathbb{R}}((t))\) and some related fields ⋮ Model-theoretic and algorithmic questions in group theory ⋮ Diophantine problems over tamely ramified fields ⋮ Relative elimination of quantifiers for Henselian valued fields ⋮ Quantifier elimination for Henselian fields relative to additive and multiplicative congruences ⋮ A classification of BL-algebras ⋮ Regularly Ordered Groups
Cites Work
