Sciweavers

SLOGICA
2010
81views more  SLOGICA 2010»
13 years 11 months ago
Theories with the Independence Property
Abstract. For a first-order formula ϕ(x; y) we introduce and study the characteristic sequence Pn : n < ω of hypergraphs defined by Pn(y1, . . . , yn) := (∃x) i≤n ϕ(x; ...
M. L. J. van de Vel