Deciding the existence of uniform interpolants over transitive models

Giovanna D Agostino, Giacomo Lenzi. Deciding the existence of uniform interpolants over transitive models. Arch. Math. Log., 50(1-2):185-196, 2011. [doi]

Abstract

Abstract is missing.