Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Contributions to the positive models theory. ; Contributions à la théorie des modèles positive.

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
  • معلومة اضافية
    • Contributors:
      Multi-scale modelling of cell dynamics : application to hematopoiesis (DRACULA); Centre de génétique et de physiologie moléculaire et cellulaire (CGPhiMC); Université Claude Bernard Lyon 1 (UCBL); Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS)-Université Claude Bernard Lyon 1 (UCBL); Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS)-Inria Grenoble - Rhône-Alpes; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Camille Jordan (ICJ); École Centrale de Lyon (ECL); Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL); Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon); Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL); Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS); Université Claude Bernard - Lyon I; Tuna Altinel(altinelmath.univ-lyon1.fr)
    • بيانات النشر:
      HAL CCSD
    • الموضوع:
      2012
    • Collection:
      Université de Lyon: HAL
    • نبذة مختصرة :
      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 ...
    • Relation:
      tel-00733592; https://theses.hal.science/tel-00733592; https://theses.hal.science/tel-00733592/document; https://theses.hal.science/tel-00733592/file/Contributions_A_la_thA_orie_des_modA_les_positive_.pdf
    • Rights:
      info:eu-repo/semantics/OpenAccess
    • الرقم المعرف:
      edsbas.A71F72CD