paperOn Whitehead precoversarXiv:math/0011228AbstractIt is proved undecidable in ZFC + GCH whether every Z-module has a^{perp} {Z}-precover.