La theorie de la classification du point de vue de la logique stationnaire

Classification theory through stationary logic

• Auteur / Autrice : FRED APPENZELLER
• Direction : Daniel Lascar
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques
• Date : Soutenance en 1993
• Etablissement(s) : Paris 7

Résumé

La logique stationnaire, suggeree par s. Shelah et developpee par j. Barwise, m. Kaufmann et m. Makkai, introduit un quantificateur du 2nd ordre qui se situe dans un cadre generalisant la combinatoire des parties stationnaires d'un nombre cardinal. La theorie de la classification, elaboree par s. Shelah, se propose de classifier les modeles de theories completes exprimees dans un langage finitaire du 1er ordre en les reduisant a des arbres de faible complexite. Toute theorie n'admettant pas de classification en ce sens, le present travail montre que le caractere classifiable d'une theorie est etroitement lie a la question si au moyen de formules infinitaires contenant le quantificateur de la logique stationnaire, on peut mettre en evidence des sous-ensembles compliques de l'ensemble des parties de certains modeles de la theorie