Barbara F. Csima

collaborators

2 papers

math.LO2023

Effectiveness of Walker's Cancellation Theorem

Layth Al-Hellawi, Rachael Alvir, Barbara F. Csima +1

Walker's Cancellation theorem for abelian groups tells us that if $A$ is finitely generated and $G$ and $H$ are such that $A \oplus G ≅ A \oplus H$ , then $G ≅ H$ . Michael D…

math.LO2022

Relations enumerable from positive information

Barbara F. Csima, Luke MacLean, Dino Rossegger

We study countable structures from the viewpoint of enumeration reducibility. Since enumeration reducibility is based on only positive information, in this setting it is natural to…