9 citations · 22 across the 12 of their papers we have counts for
1 paper · 1 filter
Ioannis Souldatos, I. Reznikoff
A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent set.