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 / 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
| Identifer | oai:union.ndltd.org:theses.fr/2012LYO10019 |
| Date | 02 March 2012 |
| Creators | Belkasmi, Mohammed |
| Contributors | Lyon 1, Altinel, Tuna |
| Source Sets | Dépôt national des thèses électroniques françaises |
| Language | French |
| Detected Language | French |
| Type | Electronic Thesis or Dissertation, Text |
Page generated in 0.0022 seconds