Types et modèles saturés

Un type est une collection cohérente de formules décrivant le comportement possible d'un élément, et les modèles saturés sont des structures riches qui réalisent autant de types que leur taille le permet.

Definition

Un type sur un ensemble de paramètres dans une structure est un ensemble maximal cohérent de formules à un nombre fini de variables avec ces paramètres ; un modèle est saturé s'il réalise tout type sur tout ensemble de paramètres de cardinalité inférieure, le rendant aussi homogène et universel que possible.

Scope

Ce sujet couvre les types complets et partiels sur un ensemble de paramètres, l'espace de Stone des types, la réalisation et l'omission de types, le théorème d'omission de types, ainsi que la construction et l'unicité des modèles saturés et homogènes, et leur rôle dans le dénombrement des modèles et dans la théorie de la stabilité.

Core questions

• Quelles informations sur un modèle l'espace des types encode-t-il ?
• Quand un type cohérent peut-il ne pas être réalisé dans un modèle donné ?
• Comment les modèles saturés sont-ils construits et pourquoi sont-ils uniques ?
• Comment les types et la saturation soutiennent-ils la classification des théories ?

Key theories

Espace de Stone des types

Les types complets sur un ensemble forment un espace topologique compact totalement discontinu dont les points sont les types et dont la structure régit les ensembles définissables, reliant la théorie des modèles à la topologie.

Théorème d'omission de types

Une théorie dénombrable possède un modèle dénombrable omettant un type non isolé donné, offrant une méthode pour construire des modèles évitant un comportement prescrit.

Existence et unicité des modèles saturés

Sous une arithmétique cardinale appropriée, une théorie possède un modèle saturé dans une cardinalité donnée, et deux modèles saturés de même cardinalité qui sont élémentairement équivalents sont isomorphes.

Clinical relevance

Les types et la saturation sont des outils techniques centraux de la théorie des modèles moderne : les modèles saturés servent d'arène universelle, appelée modèle monstre, dans laquelle les ensembles définissables et la géométrie d'une théorie sont étudiés, et le dénombrement des types sur des ensembles est la base de la théorie de la stabilité de Shelah et de ses applications.

History

Les modèles saturés et homogènes ont été développés par Joensson, Vaught et Morley vers 1960, et le théorème d'omission de types date de la même période. Le dénombrement des types sur des ensembles est devenu l'idée organisatrice de la théorie de la classification de Shelah, qui utilise la saturation pour étudier le nombre de modèles qu'une théorie possède dans chaque cardinalité.

Key figures

• Michael Morley
• Saharon Shelah
• Robert Vaught
• Bjarni Joensson

Seminal works

• marker2002
• changkeisler1990
• tentziegler2012

Frequently asked questions

Que signifie réaliser un type ?

Un type énumère les conditions qu'un élément devrait satisfaire. Un élément d'une structure réalise le type s'il satisfait toutes ces conditions simultanément ; si aucun élément ne le fait, le type est omis. Les modèles saturés réalisent autant de types que leur cardinalité le permet.

Pourquoi les modèles saturés sont-ils utiles ?

Parce qu'ils réalisent tous les petits types, ils contiennent une copie de chaque petite configuration cohérente avec la théorie, de sorte que travailler à l'intérieur d'un unique modèle saturé permet de considérer tous les éléments pertinents comme déjà présents, simplifiant grandement les arguments concernant les ensembles définissables.