Intuitionistic predicate logic of constant domains does not have Beth   property
  Drawing on the previous work on interpolation failure, we show that Beth's definability theorem does not hold for intuitionistic predicate logic of constant domains without identity. 
Grigory K. Olkhovikov
math.LO