Existential equivalence of ordered abelian groups with parameters (Q914661): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groupes et anneaux reticules / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5533193 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5609457 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Existentially Complete Abelian Lattice-Ordered Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the elementary theory of Hensel fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3767392 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized Archimedean Groups / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 16:48, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Existential equivalence of ordered abelian groups with parameters |
scientific article |
Statements
Existential equivalence of ordered abelian groups with parameters (English)
0 references
1990
0 references
\textit{Yu. Sh. Gurevich} and \textit{A. I. Kokorin} [Algebra Logika, Sem. 2, No.1, 37-39 (1963)] have shown that any two non-trivial ordered abelian groups (o-groups, for short) satisfy the same existential sentences. Let now G, H be non-trivial o-groups with a common o-subgroup \(G_ 0\). The paper presents a necessary and sufficient criterion for G and H to be existentially equivalent over \(G_ 0\). As a corollary, various algebraic criteria are given for deciding whether an o-subgroup G is existentially closed in an o-group H. Corresponding results are proved for o-groups in which congruences are regarded as atomic relations. The proofs employ effective quantifier elimination procedures in suitable relational extensions of the language of o-groups.
0 references
existential equivalence
0 references
pure subgroups
0 references