Theories with constants and three countable models

Abstract

We prove that a countable, complete, first-order theory with infinite dcl(θ) and precisely three non-isomorphic countable models interprets a variant of Ehrenfeucht's or Peretyatkin's example.