Pages that link to "Item:Q2545168"

The following pages link to Elementary theory of abelian groups without trosion, with a predicate selecting a subgroup (Q2545168):

Displayed 7 items.

• A uniform method for proving lower bounds on the computational complexity of logical theories (Q917543) ‎ (← links)
• Model-theoretic and algorithmic questions in group theory (Q1063112) ‎ (← links)
• General theory of groups (Q1845934) ‎ (← links)
• To the 90th anniversary of the birth of A. I. Kokorin. Stages of scientific and pedagogical way (Q2280355) ‎ (← links)
• The undecidability of the elementary theory of lattices of subgroups of finite abelian p-groups (Q2549319) ‎ (← links)
• Undecidable <i>L^t</i> theories of topological abelian groups (Q3939789) ‎ (← links)
• (Q4101811) ‎ (← links)