On the failure of the weak Beth property
Richard Gostanian, Karel Hrb{áček · Proceedings of the American Mathematical Society · 1976
A general method for showing the failure of the weak Beth definability property for certain pairs of logics is discussed. Applications are made to the game logic, various infinitary logics and partially ordered quantifier logics.