##  [Interpolation Uniforme](/fr/node/59969) 

  ##  [Interpolation Uniforme](https://mathlogic.quantumdictionary.io/fr/node/59970) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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.