A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Simple generic structures
2003
Annals of Pure and Applied Logic
A study of smooth classes whose generic structures have simple theory is carried out in a spirit similar to Hrushovski (Ann. Pure Appl. We attach to a smooth class K0; ≺ of ÿnite L-structures a canonical inductive theory TNat, in an extension-by-deÿnition of the language L. Here TNat and the class of existentially closed models of (TNat) ∀ =T+; EX (T+), play an important role in description of the theory of the K0; ≺ -generic. We show that if M is the K0; ≺ -generic then M ∈ EX (T+).
doi:10.1016/s0168-0072(02)00114-8
fatcat:cg3v4yigyja6xoquhjfghpnuam