COHÉRENCE, logique mathématique

Articles

• DÉMONSTRATION THÉORIE DE LA

  • Écrit par Jean-Yves GIRARD
  • 6 140 mots
  • 1 média
  ...démonstration syntaxique du lemme d'interpolation (cf. théorie des modèles). On peut aussi utiliser le Hauptsatz pour donner des démonstrations de cohérence : par exemple, considérons l' arithmétique récursive primitiveARP, qui est un système contenant des équations de définition pour toutes...

• MODÈLES THÉORIE DES

  • Écrit par Daniel ANDLER , Daniel LASCAR et Gabriel SABBAGH
  • 7 801 mots
  Théorème de cohérence de Robinson. Soit L₁ et L₂ deux langages, L leur intersection (c'est-à-dire l'ensemble des [formules écrites à l'aide des] symboles figurant dans L₁ et dans L₂). Soit T une théorie complète de L, et T₁, T₂ des théories cohérentes de L₁, L₂, respectivement,...