DOP and FCP in Generic Structures

by Baldwin and Shelah. [BlSh:567]
J Symbolic Logic, 1998
Spencer and Shelah [ShSp:304] constructed for each irrational alpha between 0 and 1 the theory T^alpha as the almost sure theory of random graphs with edge probability n^{- alpha} . In [BlSh:528] we proved that this was the same theory as the theory T_alpha built by constructing a generic model in Baldwin and Shi. In this paper we explore some of the more subtle model theoretic properties of this theory. We show that T^alpha has the dimensional order property and does not have the finite cover property.

Back to the list of publications