A study of smooth classes whose generic structures have simple theory is carried out in a spirit similar to Hrushovski 147; Simplicity and the Lascar group, preprint, 1997) and Baldwin–Shi 1). We attach to a smooth class K0, of finite -structures a canonical inductive theory TNat, in an extension-by-definition of the language . Here TNat and the class of existentially closed models of =T+,EX, play an important role in description of the theory of the K0,-generic. We show that if M (...) is the K0,-generic then MEX. Furthermore, if this class is an elementary class then Th=Th). The investigations by Hrushovski and Pillay , provide a general theory for forking and simplicity for the nonelementary classes, and using these ideas, we show that if K0,, where {,*}, has the joint embedding property and is closed under the Independence Theorem Diagram then EX is simple. Moreover, we study cases where EX is an elementary class. We introduce the notion of semigenericity and show that if a K0,-semigeneric structure exists then EX is an elementary class and therefore the -theory of K0,-generic is near model complete. By this result we are able to give a new proof for a theorem of Baldwin and Shelah 1359). We conclude this paper by giving an example of a generic structure whose first-order theory is simple. (shrink)

Continuing work of Baldwin and Shi 1), we study non-ω-saturated generic structures of the ab initio Hrushovski construction with amalgamation over closed sets. We show that they are CM-trivial with weak elimination of imaginaries. Our main tool is a new characterization of non-forking in these theories.

We explain and summarize the use of logic to provide a uniform perspective for studying limit laws on finite probability spaces. This work connects developments in stability theory, finite model theory, abstract model theory, and probability. We conclude by linking this context with work on the Urysohn space.

We show that the quantifier elimination result for the Shelah-Spencer almost sure theories of sparse random graphs $$G(n,n^{-\alpha })$$ given by Laskowski (Isr J Math 161:157–186, 2007) extends to their various analogues. The analogues will be obtained as theories of generic structures of certain classes of finite structures with a notion of strong substructure induced by rank functions and we will call the generics Baldwin–Shi hypergraphs. In the process we give a method of constructing extensions whose ‘relative rank’ is negative (...) but arbitrarily small in context. We give a necessary and sufficient condition for the theory of a Baldwin–Shi hypergraph to have atomic models. We further show that for certain well behaved classes of theories of Baldwin–Shi hypergraphs, the existentially closed models and the atomic models correspond. (shrink)

Given a sequence {a n } in (0,1) converging to a rational, we examine the model theoretic properties of structures obtained as limits of Shelah-Spencer graphs G(m, m -αn ). We show that in most cases the model theory is either extremely well-behaved or extremely wild, and characterize when each occurs.