The additive Groups of and with Predicates for being square-Free. - Neer Bhardwaj; Chieu-Minh Tran (J. Symb. Log., 2021)