Systèmes dynamiques Corrigé 7
Sn(T) = {tpM(¯a): M |= T, ¯a ? Mn}. ... Exercise : Let ¯x = (x0,...,xn?1) be variables, and ?(¯x) a set of formulas with free variables.
Sn(T) = {tpM(¯a): M |= T, ¯a ? Mn}. ... Exercise : Let ¯x = (x0,...,xn?1) be variables, and ?(¯x) a set of formulas with free variables.