Interpolation Uniforme

Renforcement de l'interpolation exigeant que, pour chaque formule φ et pour chaque sous-langage choisi (ensemble de symboles non logiques) Σ, il existe une formule ψ n'utilisant que des symboles de Σ telle que ψ capture exactement les conséquences de φ dans Σ ; ψ est uniforme au sens où elle convient pour toutes les conséquences issues de φ dans le sous-langage.