Effectiveness of Walker's Cancellation Theorem

MaRDI QIDQ6449869zbMATH OpenFDO

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

Publication date 4 September 2023

Mathematics Subject Classification ID

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)