Finite-variable logics do not have weak beth definability property

2015

Hajnal Andréka, István Németi

in: The road to universal logic II, Basel,