<p>The main subject of investigation is the so-called "immediate expansion''<br />phenomenon in various first-order valued-field structures over the<br />corresponding underlying field structures. In particular, certain "valued<br />o-minimal fields'', certain Henselian valued fields with non-divisible valued<br />groups, and certain separably closed valued fields of finite imperfection degree, are<br />shown to have this property.</p> / Doctor of Philosophy (PhD)

Les structures menues apparaissent dans les années 60 en lien avec la conjecture de Vaught. Les structures minces englobent à la fois les structures minimales et menues. Les ensembles définissables d'une structure mince sont rangés par le rang de Cantor-Bendixson. Nous présentons des propriétés de calcul de ce rang, une condition de chaîne descendante locale sur les groupes acl(0)-définissables ainsi qu'une notion de presque stabilisateur local, et 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, et un groupe mince infini a un sous groupe abélien infini. Nous nous intéressons ensuite aux structures menues infiniment définissables, et montrons que les groupes d'arité finie infiniment 0-définissable sont l'intersection de groupes définissables. Nous étendons le résultat aux demi-groupes, anneaux, corps, catégories et groupoïdes infiniment 0-définissables, et donnons des résultats de définissabilité locale pour les groupes et corps simples et menus, infiniment définissables sur des paramètres quelconques. 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. / Abstract. Small structures appear in the '60s together with Vaught's conjecture. Weakly small structures include both minimal and small structures. Definable sets in a weakly small structure are ranked by Cantor-Bendixson rank. We show computational properties of this rank, which imply a local descending chain condition on acl(0)-definable subgroups, and introduce a notion of local almost stabiliser. We deduce algebraic properties of weakly small structures. Among them, a weakly small field of positive characteristic is locally finite dimensional over its centre, and an infinite weakly small group has an infinite abelian subgroup. We then turn to small type-definable structures, showing that finitary small type 0-de_nable groups are the intersection of definable groups. We extend the result to finitary small type 0- definable monoids, rings, fields, categories and groupoids. We give local definability results concerning groups and fields type definable over an arbitrary set of parameters in small and simple theories. Finally, we reintroduce the Cantor Bendixson rank in its topological context, and show that the Cantor derivative can be seen as a derivation in a semi-ring of topological spaces. In an attempt to find a global Cantor rank for stable structures, we try to eliminate the word denumerable, omnipresent when one does topology, by replacing it by a regular cardinal k. We develop the notions of k-metrisable space, k-topology, k-compactness etc. and show an analogue of Urysohn's metrisability lemma and Cantor-Bendixson theorem.

L'objectif de la thèse est l'étude des propriétés géométriques des ensembles définissables dans les structures o-minimales et de ses applications. Il existe trois principaux résultats présentés dans cette thèse. Le premier est une preuve géométrique de l'existence de stratifications vérifiant les conditions (a) et (b) de Whitney d'ensembles définissables. Ce résultat fut d'abord prouvé par T. L. Loi en 1994 par une autre méthode. Le second est une preuve de l'existence de stratifications de Lipschitz (dans le sens de Mostowski) pour les ensembles définissables dans une structure o-minimale polynomialement bornée. Ceci est une généralisation de résultats de Parusin'ski en 1994 pour les ensembles sous-analytiques. Le troisième résultat est au sujet de la continuité des variations de géométrie intégrale appelées courbures de Lipschitz Killing locales, qui ont été introduites par A. Bernig et L. Broker en 2002. Nous prouvons que les courbures de Lipschitz Killing locales sont continues le long de strates de stratifications de Whitney d'ensembles définissable dans une structure o-minimale polynomialement bornée, et si les stratifications sont (w) régulières alors les courbures de Lipschitz Killing locales sont localement lipschitziennes le long des strates. / The thesis focus on study geometric properties of definable sets in o-minimal structures and its applications. There are three main results presented in this thesis. The first is a geometric proof of the existence of Whitney (a) and (b)-regular stratifications of definable sets. The result was initially proved by T. L. Loi in 1994 by using another method. The second is a proof of existence of Lipschitz stratifications (in the sense of Mostowski) of definable sets in a polynomially bounded o-minimal structure. This is a generalization of Parusinski's 1994 result for subanalytic sets. The third result is about the continuity of of variations of integral geometry called local Lipschitz Killing curvatures which were introduced by A. Bernig and L. Broker in 2002. We prove that Lipschitz Killing curvatures are continuous along strata of Whiney stratifications of definable sets in a polynomially bounded o-minimal structure. Moreover, if the stratifications are (w)-regular the Lipspchitz Killing curvatures are locally Lipschitz.

Any set of finitely presented left modules defines a relative purity for left modules and also apurity for right modules. Purities defined by various classes are compared and investigated,especially in the contexts of modules over semiperfect rings and over tame hereditary, andmore general, finite-dimensional algebras. Connections between the indecomposable relativelypure-injective modules and closure in the full support topology (a refinement of theZiegler spectrum) are described.Duality between left and right modules is used to define the concept of a class of leftmodules and a class of right modules forming an almost dual pair. Definability of suchclasses is investigated, especially in the case that one class is the closure of a set of finitelypresented modules under direct limits. Elementary duality plays an important role here.Given a set of finitely presented modules, the corresponding proper class of relativelypure-exact sequences can be used to define a relative notion of cotorsion pair, which weinvestigate.The results of this thesis unify and extend a wide range of results in the literature.