Characterizations of cancellable groups

An abelian group A is said to be cancellable if whenever A \oplus G is isomorphic to A \oplus H, G is isomorphic to H. We show that the index set of cancellable rank 1 torsion-free abelian groups is \Pi ^0_4 m-complete, showing that the classification by Fuchs and Loonstra cannot be simplified. For...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of the American Mathematical Society 2019-08, Vol.147 (8), p.3533-3545
Hauptverfasser:	Matthew Harrison-Trainor, Meng-Che "Turbo" Ho
Format:	Artikel
Sprache:	eng
Schlagworte:	E. LOGIC AND FOUNDATIONS
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!