Effectiveness of Walker's Cancellation Theorem
From MaRDI portal
Publication:6449869
arXiv2309.01844MaRDI QIDQ6449869FDOQ6449869
Authors: Layth Al-Hellawi, Rachael Alvir, Barbara Csima, Xinyue Xie 
Publication date: 4 September 2023
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Direct sums, direct products, etc. for abelian groups (20K25)
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 Q6449869)
