%0 Journal Article
%J MLQ Math. Log. Q.
%D 2024
%T Effectiveness of Walker's cancellation theorem
%A Al-Hellawi, Layth
%A Alvir, Rachael
%A Csima, Barbara F.
%A Xie, Xinyue
%B MLQ Math. Log. Q.
%V 70
%P 347–355
%G eng
%U https://doi.org/10.1002/malq.202400030
%R 10.1002/malq.202400030