Strongly constructive Abelian p-groups

DOI10.1007/BF01978667MaRDI QIDQ1060297zbMATH OpenFDO

Authors N. G. Khisamiev

Publication date 1983

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

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

zbMATH Keywords

constructive Abelian p-groupscountable Abelian p-groupsrecursivenessrestricted calculus of predicatesstrong constructivizability of Abelian p-groupsstrongly constructive groupstrongly constructive model

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Applications of logic to group theory (20A15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Torsion groups, primary groups and generalized primary groups (20K10)

Review text

Die vorliegende Arbeit beschäftigt sich mit abzählbaren, abelschen p- Gruppen A. Es geht um die Frage, ob A eine Numerierung zuläßt, so daß jede Formel im eingeschränkten Prädikatenkalkül (bzgl. \(+\) and n-Tupeln natürlicher Zahlen) durch einen Algorithmus entschieden werden kann. In diesem Fall heißt A stark konstruierbar (im Sinne von L. Ershov). Hauptsätze sind a) die Existenz rekursiv definierter Basisuntergruppen und ein daraus resultierendes b) Kriterium für die Existenz o.g. Numerierung. Anmerkung: Leider hat es sich bei den Übersetzern von Algebra i Logika immer noch nicht herumgesprochen, daß Prüfer's ins Russische übernommene Bezeichnung Servanzuntergruppe seit Jahrzehnten im Englischen wie im Deutschen pure bzw. rein heißt.

Cites work

• A criterion for strong constructivizability of a class of abelian p- groups
• scientific article; zbMATH DE number 3973173 (Why is no real title available?)
• scientific article; zbMATH DE number 3715794 (Why is no real title available?)
• scientific article; zbMATH DE number 3787040 (Why is no real title available?)
• scientific article; zbMATH DE number 3615021 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3332554 (Why is no real title available?)
• scientific article; zbMATH DE number 3406215 (Why is no real title available?)

Cited in

(8)

• Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups
• Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group
• Computability of the class of strongly constructivizable Abelian \(p\)-groups
• Computability of the class of strongly constructivizable abelian \(p\)-groups
• scientific article; zbMATH DE number 3922979 (Why is no real title available?)
• scientific article; zbMATH DE number 14727 (Why is no real title available?)
• Theory of Abelian groups with constructive models
• Hierarchies of torsion-free Abelian groups

This page was built for publication: Strongly constructive Abelian p-groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1060297)