COHÉRENCE, logique mathématique

Articles associés

• DÉMONSTRATION THÉORIE DE LA

  • Écrit par Jean-Yves GIRARD
  • 5 403 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 primitive ARP, qui est un système contenant des équations de définition pour...

• MODÈLES THÉORIE DES

  • Écrit par Daniel ANDLER, Daniel LASCAR, Gabriel SABBAGH
  • 6 865 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,...