2009
DOI: 10.21099/tkbjm/1251833209
|View full text |Cite
|
Sign up to set email alerts
|

Quantifier Elimination for Lexicographic Products of Ordered Abelian Groups

Abstract: Let L ag ¼ fþ; À; 0g be the language of the abelian groups, L an expansion of L ag ð<Þ by relations and constants, and L mod ¼ L ag U f1 n g nb2 where each 1 n is defined as follows: x 1 n y if and only if n j x À y. Let H be a structure for L such that H j L ag ð<Þ is a totally ordered abelian group and K a totally ordered abelian group. We consider a product interpretation of H  K with a new predicate I for f0g  K defined by N. Suzuki [9].

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
6
0
1

Year Published

2016
2016
2023
2023

Publication Types

Select...
5

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(7 citation statements)
references
References 4 publications
0
6
0
1
Order By: Relevance
“…Item (d) follows from axioms (9), (10). Item (e) follows from axioms (7), ( 9), (10) In section 4, we will show that T is NIP. So, we know that H has a smallest typedefinable subgroup of bounded index [19].…”
Section: Dense Subgroups Of Dmentioning
confidence: 95%
See 3 more Smart Citations
“…Item (d) follows from axioms (9), (10). Item (e) follows from axioms (7), ( 9), (10) In section 4, we will show that T is NIP. So, we know that H has a smallest typedefinable subgroup of bounded index [19].…”
Section: Dense Subgroups Of Dmentioning
confidence: 95%
“…Item (a) : assume that x < −x, −y < y and y ≤ x; so −x ≤ −y by axiom (4), which implies that x < −x ≤ −y < y, a contradiction; therefore (x < −x & − y < y) → x < y. Item (b) follows from axiom (10). Item (c) follows from axioms (6) I , (6) II .…”
Section: Dense Subgroups Of Dmentioning
confidence: 99%
See 2 more Smart Citations
“…Dans le lemme suivant, l'argument clé avec les projections provenant du lemme 3.4, s'apparente à [4].…”
Section: éLimination Des Quantificateurs Et Complétudeunclassified