Intuitionistic predicate logic of constant domains does not have Beth property
arXiv:1204.5788
Abstract
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.
9 pages, 0 figures. Several misprints corrected