Strongly constructive Abelian p-groups (Q1060297)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strongly constructive Abelian p-groups |
scientific article |
Statements
Strongly constructive Abelian p-groups (English)
0 references
1983
0 references
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.
0 references
strongly constructive model
0 references
restricted calculus of predicates
0 references
strongly constructive group
0 references
recursiveness
0 references
strong constructivizability of Abelian p-groups
0 references
constructive Abelian p-groups
0 references
countable Abelian p-groups
0 references