  We investigate the problem of deciding whether a system of linear equations,
together with divisibility conditions on the variables, has a solution over
holomorphy subrings of global fields. We obtain decidability results when we
allow poles at a cofinite set of places, and undecidability results when at a
finite set of places.
