Every set of first-order formulas is equivalent to an independent set
A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent set.
math.LO↗
arXiv subjects
Publications and source records attributed to I. Reznikoff.
A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent set.