%0 Journal Article
%T Every set of first-order formulas is equivalent to an independent set
%A Ioannis Souldatos
%A I. Reznikoff
%J Mathematics
%D 2011
%I arXiv
%X A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent set.
%U http://arxiv.org/abs/1108.5171v1