Diophantine geometry over groups. V\(_1\): Quantifier elimination. I. (Q2382256)
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 5196726
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Diophantine geometry over groups. V\(_1\): Quantifier elimination. I. |
scientific article; zbMATH DE number 5196726 |
Statements
Diophantine geometry over groups. V\(_1\): Quantifier elimination. I. (English)
0 references
28 September 2007
0 references
equations over groups
0 references
Makanin-Razborov diagrams
0 references
free groups
0 references
limit groups
0 references
first order theories
0 references
quantifier elimination
0 references
elementary sets
0 references
Tarski problems
0 references
0.985684871673584
0 references
0.9408305883407592
0 references
0.9254378080368042
0 references
0.8579829931259155
0 references
