Uniforme Interpolation

Eine Verstärkung der Interpolation, die verlangt, dass für jede Formel φ und jede gewählte Teilsprache (Menge nicht-logischer Symbole) Σ eine Formel ψ existiert, die nur Symbole aus Σ benutzt und genau die Σ-Folgerungen von φ einfängt; ψ ist uniform im Sinne, dass sie für alle Folgerungen von φ in der Teilsprache wirkt.