Definable isomorphism problem

Khadijeh Keshvardoost, Bartek Klin, Slawomir Lasota 0001, Joanna Ochremiak, Szymon Torunczyk. Definable isomorphism problem. Logical Methods in Computer Science, 15(4), 2019. [doi]

Abstract

Abstract is missing.