1,571 research outputs found

    Externally definable sets and dependent pairs

    Full text link
    We prove that externally definable sets in first order NIP theories have honest definitions, giving a new proof of Shelah's expansion theorem. Also we discuss a weak notion of stable embeddedness true in this context. Those results are then used to prove a general theorem on dependent pairs, which in particular answers a question of Baldwin and Benedikt on naming an indiscernible sequence.Comment: 17 pages, some typos and mistakes corrected, overall presentation improved, more details for the examples are give

    Génératrice à aimants permanents à flux axial à grand diamètre avec entrefer immergé

    Get PDF
    Cette étude propose une méthode de modélisation et de conception adaptée aux machines à flux axial et à Double Stator (poly-entrefer) destinée à être intégrée comme génératrice pour une hydrolienne RIM-DRIVEN de grande puissance. La particularité du concept RIM-DRIVEN ou à entrainement circonférentiel réside dans le fait que la machine électrique se situe sur la périphérie de l’hélice. De plus, dans cette étude, l’entrefer de la machine est considéré immergé dans l’eau de mer. Les particularités du système imposent de mettre au point des modèles de dimensionnement adaptés. Ainsi, un modèle électromagnétique analytique 2D inversé permettant le calcul des dimensions géométriques principales est présenté. De même, un modèle thermique spécifique aux machines à entrefer immergé est décrit. Ces modèles permettent d’estimer la masse et le coût des parties actives. Cette machine à flux axial est comparée en termes de coûts matières, masses et comportement thermique avec une machine à flux radial à aimants permanents dimensionnée pour un même cahier des charges. Il en ressort clairement que la machine à flux axial double stator est thermiquement moins contrainte que les machines à simple stator

    De Beaux Groupes

    Get PDF
    In this short paper, we will provide a characterisation of interpretable groups in a beautiful pair (K, E) of algebraically closed fields : every interpretable group is, up to isogeny, the extension of the subgroup of E-rational points of an algebraic group by an interpretable group which is the quotient of an algebraic group by the E-rational points of an algebraic subgroup.---Dans une belle paire (K;E) de corps alg\'ebriquement clos, un groupe d\'efinissable se projette, \`a isog\'enie pr\`es, sur les points E-rationnels d'un groupe alg\'ebrique ayant pour noyau un groupe alg\'ebrique. Un groupe interpr\'etable est, \`a isog\'enie pr\`es, l'extension des points E-rationnels d'un groupe alg\'ebrique par un groupe interpr\'etable, qui est lui le quotient d'un groupe alg\'ebrique par les points E-rationnels d'un sous-groupe alg\'ebrique.Comment: in Frenc

    La loquacité, la variété et la grammaticalité dans l’acquisition d’une langue seconde

    Get PDF
    Cet article passe en revue trois types de mesures du niveau d’acquisition d’une langue seconde : des indices de loquacité, de variété et de grammaticalité, employés dans l’analyse de corpus de langage spontané. Nous soutenons, en particulier, que les mesures de grammaticalité sont plus aptes que les autres types d’indices à distinguer les apprenants selon leur niveau de compétence dans la langue seconde. Les autres types de mesures traités ont des propriétés importantes et des rapports intéressants entre eux, surtout s’il s’agit de déceler les composants du profil linguistique des locuteurs. Les mesures de grammaticalité ont, cependant, une place à part dans la détermination du degré d’acquisition des règles et conditions spécifiques à la langue seconde.This article discusses three types of mesures of L2 acquisition, used in the analyses of spontaneous speech: loquacity, variety and well-formedness measures. In particular, we argue that well-formedness measures are the better indicators of distinct levels of competence specific to the L2. Loquacity and variety measures are interesting in themselves, show interesting relations to each other, and reflect characteristics of speakers which differentiate their linguistic profiles. We claim, however, that well-formedness measures are necessary to determine the extent to which the learner has acquired the rules and rule conditions specific to the second language, i.e., the extent to which he approaches native speech
    • …
    corecore