Contributions à la théorie des modèles positive. - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2012

Contributions to the positive models theory.

Contributions à la théorie des modèles positive.

Résumé

The first systematic study of positive model theory was introduced by Ben Yaacov, where he proposed a uniform approach to works accomplished independently by Robinson, Shelah, Hrushovski and Pillay, our aim is to incorporate modern technics of model theory in the context of positive logic. The work of Ben Yaacov and Poizat entitled foundations of positive logic defined a new framework of the positive model theory, which determines the context of this thesis. In the first chapter we review the tools of the theory of positive model and we develop concepts and tools that we will be useful in the remaining chapters. One of these concepts is the universal extensions, they characterize the bases amalgamation in the second chapter, and it's crucial in the construction of the positive universal domains. In the second chapter we study the notion of amalgamation which is central in the positive models theory .It will allow us to study the conservation of topologic separation between the positives elementary extensions , and characterize the theories of Robinson and quantifier elimination in some classes of structures. In the third chapter, we continue the study of positive stability which is already initiated by Ben Yaacov, and we propose a new characterization of order property which is specific to the positive models theory.
La première étude systématique de la théorie des modèles positive était faite par Ben Yaacov qui a proposé une approche uniforme aux travaux précurseurs accomplis indépendamment par Robinson, Shelah, Hrushovski et Pillay avec un souci croissant d'incorporer les techniques modernes de la théorie des modèles dans le contexte des logiques réduites. Ben Yaacov et Poizat dans leur travail intitulé fondements de la logique positive ont défini un nouveau cadre pour la théorie des modèles positive, qui détermine le contexte de cette thèse. Dans le premier chapitre nous rappelons les outils de la théorie des modèle positive et nous développons des notions et des outils qui nous seront utiles dans le reste des chapitres. Parmi ceux-ci, il convient de souligner les extensions universelles. Elles caractérisent les bases d'amalgamation dans le deuxième chapitre, et sont cruciales dans la construction des domaines universels positifs. Dans le deuxième chapitre nous étudions la notion d'amalgamation qui s'avère centrale dans la théorie des modèles positive. Elle nous permettra d'étudier la conservation de la séparation topologique entre les extensions élémentaires positives, et de caractériser les théories de Robinson et l'élimination des quanteurs dans certaines classes des structures. Dans le troisième chapitre, nous continuons l'étude de la stabilité positive déjà entamée par Ben Yaacov, et nous en proposons une nouvelle caractérisation par une notion d'ordre propre à la théorie des modèles positive.
Fichier principal
Vignette du fichier
Contributions_A_la_thA_orie_des_modA_les_positive_.pdf (550.85 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00733592 , version 1 (19-09-2012)

Identifiants

  • HAL Id : tel-00733592 , version 1

Citer

Mohammed Belkasmi. Contributions à la théorie des modèles positive.. Logique [math.LO]. Université Claude Bernard - Lyon I, 2012. Français. ⟨NNT : ⟩. ⟨tel-00733592⟩
316 Consultations
244 Téléchargements

Partager

Gmail Facebook X LinkedIn More