Théorie des modèles
La théorie des modèles étudie la relation entre les langages formels et leurs interprétations, en analysant les structures mathématiques qui satisfont un ensemble d'axiomes donné.
Definition
La théorie des modèles est la branche de la logique mathématique qui étudie les modèles, c'est-à-dire les structures interprétant un langage formel, ainsi que les relations entre les énoncés vrais dans une structure et les propriétés algébriques et combinatoires de cette structure.
Scope
Ce domaine couvre la logique du premier ordre et sa sémantique, les théorèmes de complétude, de compacité et de Loewenheim-Skolem, l'équivalence élémentaire et les plongements, les types et les modèles saturés, l'élimination des quantificateurs, et la classification des théories par leurs propriétés en théorie des modèles. Il relie la logique à l'algèbre, à la géométrie et à la théorie des nombres par l'étude des ensembles définissables.
Sub-topics
Core questions
- Quelles structures satisfont une théorie donnée, et comment sont-elles liées ?
- Que peut exprimer une théorie concernant la taille et le nombre de ses modèles ?
- Comment les ensembles définissables dans une structure sont-ils décrits et classifiés ?
- Quelles théories sont suffisamment bien comprises pour admettre une théorie de la structure pour leurs modèles ?
Key theories
- Théorème de complétude
- Le théorème de complétude de Goedel stipule qu'une formule du premier ordre est prouvable à partir d'une théorie si et seulement si elle est vraie dans chaque modèle de la théorie, identifiant ainsi la prouvabilité syntaxique à la vérité sémantique.
- Théorème de compacité
- Un ensemble de formules du premier ordre possède un modèle si et seulement si chacun de ses sous-ensembles finis en possède un, un outil qui permet d'obtenir des modèles non standard et de transférer des propriétés entre structures finies et infinies.
- Théorèmes de Loewenheim-Skolem
- Une théorie du premier ordre ayant un modèle infini possède des modèles de toute cardinalité infinie ; la logique du premier ordre ne peut donc pas fixer la taille des structures infinies.
Clinical relevance
La théorie des modèles offre des outils puissants qui ont été appliqués dans divers domaines des mathématiques : l'élimination des quantificateurs fournit des procédures de décision pour les théories algébriques, et la théorie des modèles des corps et des groupes a produit des résultats en théorie des nombres, en géométrie réelle et complexe, et en combinatoire, notamment par le biais de la théorie de la stabilité et de l'o-minimalité.
History
La théorie des modèles a émergé des travaux de Loewenheim, Skolem et Goedel au début du XXe siècle et a été structurée en une discipline cohérente par la définition sémantique de la vérité de Tarski et les applications de la compacité par Maltsev et Robinson. La théorie de la classification et de la stabilité de Shelah, à partir des années 1970, a conféré au domaine son cadre structurel moderne et ses liens profonds avec d'autres domaines des mathématiques.
Key figures
- Kurt Goedel
- Alfred Tarski
- Anatoly Maltsev
- Abraham Robinson
- Saharon Shelah
Related topics
Seminal works
- marker2002
- changkeisler1990
- hodges1993
Frequently asked questions
- Quelle est la différence entre la syntaxe et la sémantique en théorie des modèles ?
- La syntaxe concerne les énoncés formels et les preuves dans un langage, tandis que la sémantique concerne les structures et la vérité des énoncés dans celles-ci. Le théorème de complétude montre que pour la logique du premier ordre, ces deux perspectives coïncident : la prouvabilité correspond à la vérité dans tous les modèles.
- Pourquoi la théorie des modèles est-elle importante pour les mathématiques courantes ?
- De nombreuses structures algébriques, telles que les corps et les groupes ordonnés, sont définies par des axiomes du premier ordre ; ainsi, les résultats de la théorie des modèles concernant les ensembles définissables et l'élimination des quantificateurs se traduisent par des théorèmes concrets et des procédures de décision en algèbre, en géométrie et en théorie des nombres.