It is consistent with ZFC that B1 -groups are not B2
From MaRDI portal
Publication:4807678
DOI10.1515/form.2003.028zbMath1027.20030MaRDI QIDQ4807678
Saharon Shelah, Lutz H. Strüngmann
Publication date: 25 May 2003
Published in: Forum Mathematicum (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/form.2003.028
undecidability; consistency; torsion-free Abelian groups; Butler groups; pure subgroups; Cohen forcing; infinite rank groups; models of ZFC; \(B_1\)-groups; \(B_2\)-groups