Théorie des Modèles

La branche de la logique mathématique qui étudie les langages formels et leurs interprétations (modèles), en se concentrant sur les relations entre théories syntaxiques et structures sémantiques : satisfiabilité, équivalence élémentaire, définissabilité, types et propriétés méta-théoriques comme la complétude, la compacité et la stabilité.

La branche de la logique mathématique qui étudie les langages formels, les théories et leurs modèles, mettant en relation les propriétés syntaxiques des théories (complétude, décidabilité) avec les propriétés sémantiques de classes de structures (cátégoricité, stabilité, élimination des imaginaires) et fournissant des outils pour analyser des structures algébriques par des invariants logiques.