Approximation theoretical properties of M-ideals (Abstract)
We investigate the question of the title. While it is immediate that CH yields a positive answer we discover that the situation under the negation of CH holds some surprises.
A first order structure with universe M is atomic compact if every system of atomic formulas with parameters in M is satisfiable in provided each of its finite subsystems is. We consider atomic compactness for the class of reflexive (symmetric) graphs. In particular, we investigate the extent to which “sparse” graphs (i.e. graphs with “few” vertices of “high” degree) are compact with respect to systems of atomic formulas with “few” unknowns, on the one hand, and are pure restrictions of their...