De nombreux travaux ont montré l'importance de l'interpolation de Craig pour la structuration et la modularité des spécifications de type axiomatique. En vue d'en donner des conditions suffisantes dans un cadre théorique adapté à l'informatique, nous nous sommes intéressé à une propriété équivalente à l'interpolation de Craig dans le cadre de la théorie standard des modèles : la consistance de Robinson. L'étude de cette dernière propriété nous a amené à généraliser dans une spécialisation des institutions les notions classiques de diagrammes complets et de morphismes élémentaires. Ceci nous a alors permis de généraliser quelques résultats classiques de théorie des modèles tels que les théorèmes de Löwenheim-Skolem ou l'union de chaînes de Tarski. En fin, les constructeurs de formules étant explicites dans notre cadre théorique, nous nous sommes naturellemant intéressés à la combinaison de logiques et à la préservation de l'interpolation de Craig et de la consistance de Robinson.

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.

Les structures o-minimales, introduites dans les années '80 par Van den Dries et largement étudiées par Wilkie et Macintyre répondent à Grothendick en donnant le cadre d'une géométrie modérée. <br /> <br />Cette thèse montre un théorème du complémentaire explicite pour les<br />structures o-minimales polynomialement bornées, ce qui équivault à la modèle-complétude en théorie des modèles.<br /><br />En 1968, Gabrielov montre un théorème du complémentaire pour<br />les sous-analytiques globaux, qui en implique la o-minimalité. Il améliore ce résultat en 96, avec un théorème explicite. Une généralisation de celui-ci est présentée ici.<br /><br />Par des arguments de valuation dus à Lojaciewicz et à Miller, des propriétés de quasi-analycité sont exhibées, qui permettent d'adapter le schéma classique des preuves de modèle-complétude. Ce résultat permet de mieux comprendre la façon dont sont générées les structures o-minimales et donne un langage réduit sur lequel une structure polynomialement bornée est modèle-complète.

L'objet de cette thèse est l'étude des amalgames de Hrushovski dans le contexte relatif. D'abord, la fusion libre de deux théories simples de rang 1 T(1) et T(2) est construite, au-dessus d'un réduit commun T(0) qui est supposé fortement minimal et omega-catégorique. Dans bien des cas, il est montré que ses complétions sont simples. Si les T(i) sont fortement minimales et si une condition géométrique est satisfaite - par exemple si le réduit commun est un espace vectoriel sur un corps fini - la fusion libre est complète et omega-stable. En supposant de plus que les multiplicités sont définissables dans T(i), le collapse de <br />la fusion libre sur une fusion fortement minimale est effectuée. Puis, des variations sur le thème de la fusion sont étudiées (courbe générique et structures bicolores). À titre d'exemple, il suit des résultats que l'on peut donner un sens à la notion d'une courbe générique dans un corps pseudofini. Enfin, l'axiomatisabilité de l'automorphisme générique est démontrée dans certains contextes issus d'une amalgamation à la Hrushovski dont la fusion libre et les théories des différents corps bicolores de Poizat (noir, rouge et vert).

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

Les travaux présentés dans ce mémoire de thèse abordent sous différents angles très intéressants, un sujet vaste et ambitieux : l'interprétation de plans cadastraux couleurs.Dans ce contexte, notre approche se trouve à la confluence de différentes thématiques de recherche telles que le traitement du signal et des images, la reconnaissance de formes, l'intelligence artificielle et l'ingénierie des connaissances. En effet, si ces domaines scientifiques diffèrent dans leurs fondements, ils sont complémentaires et leurs apports respectifs sont indispensables pour la conception d'un système d'interprétation. Le centre du travail est le traitement automatique de documents cadastraux du 19e siècle. La problématique est traitée dans le cadre d'un projet réunissant des historiens, des géomaticiens et des informaticiens. D'une part nous avons considéré le problème sous un angle systémique, s'intéressant à toutes les étapes de la chaîne de traitements mais aussi avec un souci évident de développer des méthodologies applicables dans d'autres contextes. Les documents cadastraux ont été l'objet de nombreuses études mais nous avons su faire preuve d'une originalité certaine, mettant l'accent sur l'interprétation des documents et basant notre étude sur des modèles à base de graphes. Des propositions de traitements appropriés et de méthodologies ont été formulées. Le souci de comblé le gap sémantique entre l'image et l'interprétation a reçu dans le cas des plans cadastraux étudiés une réponse.

Les structures menues apparaissent dans les années 1960 de paire avec la conjecture de Vaught, dont elles sont les seuls contre-exemples possibles. Les structures minces sont introduites par Belegradek, et englobent à la fois les structures minimales et menues. Il est bien connu que les ensembles définissables d'une structure mince sont rangés par le rang de Cantor-Bendixson, lorsque l'on fixe un ensemble fini de paramètres. L'étude de ces structures est rendue difficile par le fait que si l'on augmente cet ensemble de paramètres, le rang croît, et on ne sait maîtriser sa croissance. Nous présentons des propriétés de calcul de ce rang, une condition de chaîne descendante locale sur les groupes définissables (par des formules faisant intervenir des paramètres de la clôture algébrique d'un ensemble fini), ainsi qu'une notion de presque stabilisateur local. Nous en déduisons des propriétés algébriques des structures minces : un corps mince de caractéristique positive est localement de dimension finie sur son centre (une réponse au problème 6.1.5 de Wagner, Simple Theories), et un groupe mince infini a un sous groupe abélien infini (cela répond en particulier à la question 2.8 de Wagner, "Groups in simple theories"). Nous nous intéressons ensuite aux structures menues infiniment définissables, et montrons que les groupes d'arité finie infiniment définissables (par des formules n'utilisant que les paramètres d'un ensemble fini) sont l'intersection de groupes définissables (réponse au problème 6.1.14 du livre de Wagner). Nous étendons le résultat aux demi-groupes, anneaux, corps, catégories et groupoïdes infiniment définissables (toujours avec un nombre fini de paramètres), et donnons des résultats de définissabilité locale pour les groupes et corps simples et menus, infiniment définissables sur un ensemble quelconque de paramètres. Enfin, nous réintroduisons le rang de Cantor dans son contexte topologique et montrons que la dérivée de Cantor peut être vue comme un opérateur de dérivation dans un semi-anneau d'espaces topologiques. Dans l'idée de trouver un rang de Cantor global pour les théories stables, nous essayons de nous débarrasser du mot dénombrable omniprésent lorsque l'on fait de la topologie, en le remplaçant par un cardinal régulier k. Nous développons une notion d'espace k-métrique, de k-topologie, de k-compacité etc. et montrons un k-analogue du lemme de métrisabilité d'Urysohn, et du théorème de Cantor-Bendixson.

La notion de T-radical d'un idéal permet à G.Cherlin de démontrer un Nullstellensatz dans les théories inductives d'anneaux. Nous proposons une analyse modèle-théorique de phénomènes connexes. En premier lieu, une réciproque de ce théorème nous conduit à une caractérisation des corps algébriquement clos, suggérant une version "positive" du travail de Cherlin, la théorie des idéaux T-radiciels. Ceux-ci se caractérisent par un théorème de représentation et sont associés à un théorème des zéros "positif". Ces résultats se généralisent à la logique du premier ordre : grâce à la notion de classe spéciale, nous développons ensuite une théorie logique des idéaux. On peut encore parler d'idéaux premiers et radiciels, relativement à une classe de structures. Dans ce cadre, le théorème de représentation est une propriété intrinsèque des classes spéciales et le théorème des zéros une propriété de préservation logique, que nous appelons "complétude géométrique" et qui entretient des rapports étroits avec la modèle-complétude positive. Les algèbres basées en groupes de P.Higgins permettent d'appliquer ces résultats aux théories modèle-complètes de corps avec opérateurs additionnels. Dans certains cas "noethériens", l'algèbre de coordonnées est un invariant algébrique des "variétés affines". Enfin, il est possible à partir d'un ensemble de formules E de généraliser les classes spéciales et autres classes de structures. Notre théorie des idéaux logiques est de plus un cas particulier du phénomène de localisation étudié par M.Coste ; dans certaines situations, un bon choix de formules permet d'identifier les types complets d'une "algèbre" à des types de localisation

Cette thèse est consacrée à l’étude des groupes linéaires définissables dans les corpsp-adiques. Les tores anisotropes jouent un rôle central tout au long de ce travail. Nousdonnons une description modèle-théorique et algébrique des Qp-tores anisotropes dedimension 1.L’étude des sous-groupes de Cartan de SL2(Qp) (où Qp est un corps élémentairementéquivalent à Qp) nous permet de donner une description complète de tous les sous-groupes définissables de SL2(Qp).Nous nous intéressons également aux groupes linéaires définissables dans des enri-chissements p-minimaux d’un corps p-adiquement clos. Nous introduisons une notionde p-connexité pour les groupes. Et nous établissons que tout groupe linéaire com-mutatif p-connexe définissable dans une telle structure est isomorphe à un groupesemi-algébrique.Enfin des résultats sur la généricité et la générosité dans SL2(Qp) sont donnés. / This thesis is dedicated to the study of linear definable groups in p-adic fields. Ani-sotropic tori play an important role in this work. We give a model-theoretic andalgebraic description of anisotropic Qp-tori of dimension 1.The study of Cartan subgroups in SL2(Qp) (where Qp is a field elementarily equi-valent to Qp) permit us to give a complete description of all definable subgroups ofSL2(Qp).We are seeing also linear groups definable in p-minimal expansions of p-adically closedfields. We introduce a notion of p-connexity for groups. We etablish that every linearcommutative p-connected group definable in such structure is isomorphic to a semi-algebraic group.Finally some results on genericity and generosity in SL2(Qp) are given.

Le travail de cette thèse a pour objet les interactions entre deux approches d'étude des équations différentielles: la théorie des modèles des corps différentiellement clos d'une part et l'étude dynamique des équations différentielles réelles d'autre part. Dans le premier chapitre, on présente un formalisme d'algèbre différentielle, en termes de D-schémas à la Buium au-dessus du corps des nombres réels (muni de la dérivation triviale), qui permet de rendre compte de ces deux approches d'étude en même temps. Le résultat principal est un critère d'orthogonalité aux constantes pour le type générique d'une D-variétés réelle absolument irréductible, basé sur la dynamique topologique de son flot réel analytique associé. Le deuxième chapitre est consacré aux équations différentielles algébriques décrivant le flot géodésique de variétés algébriques réelles munies de 2-formes symétriques non-dégénérées. A l'aide du critère précédent, on démontre un théorème d'orthogonalité aux constantes "en courbure strictement négative'', s'appuyant sur les résultats d'Anosov et de ses successeurs concernant la dynamique topologique - la propriété de mélange topologique faible - du flot géodésique d'une variété riemannienne compacte à courbure strictement négative. En dimension 2, on conjecture en fait une description plus précise - son type générique est minimal de prégéométrie triviale - de la structure associée aux équations différentielles géodésiques unitaires. On présente, dans le troisième chapitre, des motivations et des résultats partiels concernant cette conjecture. / This thesis is dedicated to studying the interactions between two different approaches regarding differential equations: the model-theory of differentially closed fields on the one side and the dynamical analysis of real differential equations, on the other side. In the first chapter, we present a formalism from differential algebra, in terms of D-varieties à la Buium over the field of real numbers (endowed with the trivial derivation), that allows one to realise both approaches at the same time. The main result is a criterion of orthogonality to the constants, based on the topological dynamic of its associated real analytic flow. The second chapter is dedicated to the algebraic differential equations describing the (unitary) geodesic flow of a real algebraic variety endowed with an algebraic, non-degenerated symmetric 2-form. Using the previous criterion, we prove a theorem of orthogonality to the constants "in negative curvature'', that relies on the results of Anosov and of his followers, regarding the topological dynamic - the weakly mixing topological property - for the geodesic flow of a compact Riemannian manifold with negative curvature. In dimension 2, we conjecture a more precise description - its generic type is minimal and has a trivial pregeometry- for the structure associated to the unitary geodesic equation. In the third chapter, we present some motivations and partial results on this conjecture.