Undecidability of the Theories of Classes of Structures

Asher M. Kach, Antonio Montalbán. Undecidability of the Theories of Classes of Structures. Journal of Symbolic Logic, 79(4):1001-1019, 2014. [doi]

Abstract

Abstract is missing.