scientific article; zbMATH DE number 14727
From MaRDI portal
Publication:3977193
atomic formulacountable abelian \(p\)-groupfirst order languagestrongly \(X\)-constructiveTuring machine
Model theory of denumerable and separable structures (03C15) Theory of numerations, effectively presented structures (03D45) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Torsion groups, primary groups and generalized primary groups (20K10)
Recommendations
- Constructive Abelian \(p\)-groups
- scientific article; zbMATH DE number 1303204
- Strongly constructive Abelian p-groups
- scientific article; zbMATH DE number 4043838
- scientific article; zbMATH DE number 13285
- \(P\)-stable abelian groups
- On the Structure of Abelian p-Groups
- Abelian subgroups of p-groups
- On a class of abelian p-groups
- P-compatible Abelian groups
Cited in
(14)- Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups
- ABE with tag made easy. Concise framework and new instantiations in prime-order groups
- Constructive Abelian \(p\)-groups
- A construction of the morphism between the class of A-structures and a class of Abelian groups.
- Abelian p-groups and the halting problem
- scientific article; zbMATH DE number 3973173 (Why is no real title available?)
- scientific article; zbMATH DE number 554827 (Why is no real title available?)
- scientific article; zbMATH DE number 1936723 (Why is no real title available?)
- scientific article; zbMATH DE number 1438909 (Why is no real title available?)
- Torsion-free constructive nilpotent R_p-groups.
- On the computability of a class of periodic abelian groups
- The Abstract Groups G m,n,p
- Hierarchies of torsion-free Abelian groups
- \(P\)-stable abelian groups
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3977193)
