A relative interpolation theorem for infinitary universal Horn logic and its applications

Alexej P. Pynko. A relative interpolation theorem for infinitary universal Horn logic and its applications. Arch. Math. Log., 45(3):267-305, 2006. [doi]

Abstract

Abstract is missing.