Two-variable Logic has Weak, but not Strong, Beth Definability

Hajnal Andréka, István Németi. Two-variable Logic has Weak, but not Strong, Beth Definability. Journal of Symbolic Logic, 86(2):785-800, 2021. [doi]

Abstract

Abstract is missing.