Solving equation systems in ω-categorical algebras

Manuel Bodirsky, Thomas Quinn-Gregson. Solving equation systems in ω-categorical algebras. J. Mathematical Logic, 21(3), 2021. [doi]

Abstract

Abstract is missing.