Die Elementare Theorie der Gruppe vom Typ p∞ mit Untergruppen
✍ Scribed by Andreas Baudisch
- Publisher
- John Wiley and Sons
- Year
- 1975
- Tongue
- English
- Weight
- 390 KB
- Volume
- 21
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
DIE ELEMENTARE THEORIE DER GRUPPE VOM TYP p" MIT UNTERGRUPPEN von ANDREAS BAUDISCH in Berlin (DDR) 1. Einleitung 111 111 wurde gezeigt, daIl die calementart. Theorie der Gruppe vorn Typ p" mit einem einstelligcn Pradikat erblich uncntscheidbar ist. Wenn 3(p") die Gruppe vorn Typ p 2 mit Untergruppen bezeichnet, so ist im Gegensatz dazu die elementare Theorie von $(pa) entscheidbar. Es wird cin Axiomensystem Z,, fur a ( p " ) angegeben, und geztbigt, da13 Z; , modellvollstandig ist. Dabei wird die Signatur (+, 0, E) um eine einst,c.llige Funktion erweitert, die jedem Element die von ihm erzcugte Untergruppe zuordnct. Fur jede rekursive Mcnge P von Primzahlen sei N I , die Menge aller 3(p") mit p E P. Es wird bewicscn, cia13 die elementare Theorie von N l , rekursiv entscheidbar ist .