We show that the expressive power of first-order logic over finite models embedded in a model M is determined by stability-theoretic properties of M . In particular, we show that if M is stable, then every class of finite structures that can be defined by embedding the structures in M , can be defined in pure first-order logic. We also show that if M does not have the independence property, the...

We investigate effects of spontaneous breakdown of CP in B d,s−Bd,s systems in leftright symmetric models. Assuming that the left-right contribution to the B0−B0 matrix element M12 can be at most equal to the standard model one we obtain a new lower bound, MH >∼ 12 TeV, on the flavour changing Higgs boson mass. Most importantly, the convention independent parameter Re(ǫB), which measures the am...