Strongly constructive Abelian p-groups (Q1060297)

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.