No label defined (Q4395571)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1163947
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1163947 |
Statements
2 March 1999
0 references
model theory of non-Archimedean ordered groups
0 references
logics with Ramsey-quantifiers
0 references
ordered Abelian groups
0 references
elimination of quantifiers
0 references
0.9017935
0 references
0.88636744
0 references
0.8828772
0 references
0.87857395
0 references
All known model-theoretic results on ordered algebraic structures are restricted to the class of Archimedean structures. In the reviewed paper, it is shown that logics with Ramsey-quantifiers yield natural applications in non-Archimedean ordered groups, too. The solution of the problem of determining these ordered Abelian groups which admit elimination of quantifiers in logics with Ramsey-quantifiers is presented. Such logics admit canonical extensions of the basic model-theoretic properties and ``reflect much better the algebraic structure than first-order logic does''. For the entire collection see [Zbl 0885.00035].
0 references
