Effectiveness of Walker's cancellation theorem

DOI10.1002/MALQ.202400030MaRDI QIDQ6642290

Barbara Csima, Rachael Alvir, Layth Al-Hellawi, Xinyue Xie

Publication date: 22 November 2024

Published in: Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Computable structures and the hyperarithmetical hierarchy
• Turing Computability
• The Complement of a Finitely Generated Direct Summand of an Abelian Group
• Cancellation in Direct Sums of Groups
• The decomposability problem for torsion-free abelian groups is analytic-complete

This page was built for publication: Effectiveness of Walker's cancellation theorem

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