COMPACITÉ, logique

Articles

• MALTSEV ANATOLI IVANOVITCH (1909-1967)

  • Écrit par Gabriel SABBAGH
  • 635 mots

  Mathématicien soviétique, célèbre pour ses travaux en logique et en algèbre. Les premiers écrits de Maltsev contiennent les idées essentielles d'une bonne partie de son œuvre. Dans son premier et plus célèbre article, Untersuchungen aus dem Gebiete der Mathematischen Logik...

• MODÈLES THÉORIE DES

  • Écrit par Daniel ANDLER, Daniel LASCAR, Gabriel SABBAGH
  • 7 801 mots
  La théorie des modèles a deux théorèmes fondateurs : le théorème de compacité (ou de finitude) et le théorème de Löwenheim-Skolem (descendant), tous deux très élémentaires. Le premier, qui intervient dans presque tous les résultats de théorie des modèles (sauf précisément dans le second), exprime le...