No label defined (Q4952569)
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 1445258
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1445258 |
Statements
21 October 2001
0 references
element-subgroup theories
0 references
undecidability
0 references
free groups
0 references
theories of groups
0 references
first-order languages
0 references
classes of Abelian groups
0 references
free Abelian groups
0 references
0.7919868230819702
0 references
0.7912256121635437
0 references
The authors consider theories of groups in a first-order language extended by means of (one-place) predicate variables for subgroups. The universal (existential) quantifier for such variables is denoted by \(A\) (\(E\)). The main results are the following: 1. There exists a number \(n\) such that for any class of Abelian groups containing the free Abelian group of rank 2 its \(\forall^2\exists^nA\)-theory is undecidable. 2. There exists \(n\) such that the \(A\forall^2\exists^n\)-theory of the class of all free non-cyclic groups and the \(A\forall^2\exists^n\)-theory of any free non-cyclic group are undecidable. For the entire collection see [Zbl 0919.00012].
0 references
