2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/227961IFG logic is a variant of the independence-friendly logic of Hintikka and Sandu. We answer the question: ``Which IFG-formulas are equivalent to ordinary first-order formulas?'' We use the answer to show that the ordinary cylindric set algebra over a structure can be embedded into a reduct of the IFG-cylindric set algebra over the structure.7 pages. Submitted to Logica Universalis. See also http://math.colgate.edu/~amann/Logic03G25; 03B60; 03G15text