Elementary theory of abelian groups without trosion, with a predicate selecting a subgroup

DOI10.1007/BF02306692zbMath0214.01503MaRDI QIDQ2545168

A. I. Kokorin, G. T. Kozlov

Publication date: 1971

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/186748

Mathematics Subject Classification ID

Applications of logic to group theory (20A15)

Related Items (7)

Unnamed Item ⋮ A uniform method for proving lower bounds on the computational complexity of logical theories ⋮ To the 90th anniversary of the birth of A. I. Kokorin. Stages of scientific and pedagogical way ⋮ The undecidability of the elementary theory of lattices of subgroups of finite abelian p-groups ⋮ General theory of groups ⋮ Undecidable L^t theories of topological abelian groups ⋮ Model-theoretic and algorithmic questions in group theory

Cites Work

• Unnamed Item
• Completeness and persistence in the theory of models
• Elementary properties of Abelian groups

This page was built for publication: Elementary theory of abelian groups without trosion, with a predicate selecting a subgroup