First-order definability and algebraicity of the sets of annihilating and generating collections of elements for some relatively free solvable groups
- 17 Downloads
We study the first-order definable, Diophantine, and algebraic subsets in the set of all ordered sets generating a group or generating a group as a normal subgroup for some relatively free solvable groups.
Keywordsgenerating collection annihilating collection Diophantine set algebraic set first-order definable set solvable group nilpotent group
Unable to display preview. Download preview PDF.
- 5.Neumann H., Varieties of Groups [Russian translation], Mir, Moscow (1969).Google Scholar
- 8.Mal’tsev A. I., “On free solvable groups,” Dokl. Akad. Nauk SSSR, 130, No. 3, 495–498 (1960).Google Scholar
- 9.Ershov Yu. L., Decidability Problems and Constructive Models [in Russian], Nauka, Moscow (1980).Google Scholar
- 10.Penzin Yu. G., “Undecidability of the integer theory with addition and the coprimality predicate, ” in: Abstracts: 3 All-Union Conference on Mathematical Logic [in Russian], Novosibirsk, 1974, pp. 149–153.Google Scholar