Computable scott sentences for quasi-Hopfian finitely presented structures

Gianluca Paolini. Computable scott sentences for quasi-Hopfian finitely presented structures. Arch. Math. Log., 62(1):55-65, 2023. [doi]

Abstract

Abstract is missing.