Sciweavers

SLOGICA
2010
81views more  SLOGICA 2010»
13 years 9 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
APAL
2010
93views more  APAL 2010»
13 years 11 months ago
Edge distribution and density in the characteristic sequence
The characteristic sequence of hypergraphs Pn : n < associated to a formula (x; y), introduced in [5], is defined by Pn(y1, . . . yn) = (x) in (x; yi). We continue the study o...
M. E. Malliaris