On a problem of saturation of certain reduced direct products
Motivated by the paper by H. Herrlich, E. Tachtsis (2017) we investigate in ZFC the following compactness question: for which uncountable cardinals , an arbitrary nonempty system of homogeneous -linear equations is nontrivially solvable in provided that each of its subsystems of cardinality less than is nontrivially solvable in ?