3 citations · 4 across the 5 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.