The undecidability of the elementary theory of lattices of subgroups of finite abelian p-groups

DOI10.1007/BF02218979zbMath0227.02026OpenAlexW1977606173MaRDI QIDQ2549319

G. T. Kozlov

Publication date: 1971

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

Full work available at URL: https://doi.org/10.1007/bf02218979

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Chains and lattices of subgroups, subnormal subgroups (20E15) Recursively (computably) enumerable sets and degrees (03D25)

Related Items (2)

General theory of groups ⋮ Model-theoretic and algorithmic questions in group theory

Cites Work

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

This page was built for publication: The undecidability of the elementary theory of lattices of subgroups of finite abelian p-groups