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