We clarify some results of Bagaria and Magidor {MR3152715} about the relationship between large cardinals and torsion classes of abelian groups, and prove that (1) the Maximum Deconstructibility principle introduced in {Cox_MaxDecon} requires large cardinals; it sits, implication-wise, between Vop{e}nka's Principle and the existence of an ω₁-strongly compact cardinal. (2) While deconstructibility of a class of modules always implies the precovering property by {MR2822215}, the concepts are (consistently) non-equivalent, even for classes of abelian groups closed under extensions, homomorphic images, and colimits.
No takes yet. Share an insight, caveat, or question.
Cox et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: