Journal of Logic and Computation, Volume 10, Issue 2, pp. 209-212: Abstract.
Stability, the finite cover property and 0-1 laws
Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago, Chicago, IL, USA, E-mail: email@example.com
We combine some tools from stability theory and finite model theory to prove the following results. Theorem. Let T[infin] be the almost sure theory for a class K and probability P satisfying the first order 0-1 law. Suppose for some [kgr], there are infinitely many distinct L[kgr]-types consistent with T[infin]. If LFP logic and first order-logic are almost everywhere equivalent with respect to P and T[infin] is unstable. Theorem. For appropriate functions f determining the interpretation of the Ramsey quantifier the logic L[ohgr],[ohgr](Qram,f) is almost everywhere equivalent to first-order logic on graphs with respect to edge probability n-[agr] for irrational [agr].
Keywords: finite model theory, stability theory.