S'abonner

Quasi-analyticité, o-minimalité et élimination des quantificateurs - 15/02/08

Doi : 10.1016/j.crma.2006.05.011 
Alexandre Rambaud
Équipe de logique mathématique (CNRS - UMR 7056), UFR de mathématiques, université Denis-Diderot Paris 7, 2, place Jussieu, 75251 Paris cedex 05, France 

Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’accès au texte intégral de cet article nécessite un abonnement.

pages 4
Iconographies 0
Vidéos 0
Autres 0

Résumé

Cette Note étudie selon le point de vue de la théorie des modèles certaines classes de fonctions réelles : les classes quasi-analytiques restreintes. Soit E une telle classe, on explicite un langage naturel   contenant E et une théorie T dans   tels que T admet lʼélimination des quantificateurs, est o-minimale et est équivalente à la théorie complète de   dans  . Pour citer cet article : A. Rambaud, C. R. Acad. Sci. Paris, Ser. I 343 (2006).

Le texte complet de cet article est disponible en PDF.

Abstract

In this article, we study using model theory certain classes of real functions: restricted quasi-analytic classes. Let E be such a class of functions, we introduce a natural language  , including E and a theory T in   such that T admits quantifiers elimination, is o-minimal and is equivalent to the complete theory of   in  . To cite this article: A. Rambaud, C. R. Acad. Sci. Paris, Ser. I 343 (2006).

Le texte complet de cet article est disponible en PDF.

Plan

Plan indisponible

© 2006  Académie des sciences. Publié par Elsevier Masson SAS. Tous droits réservés.
Ajouter à ma bibliothèque Retirer de ma bibliothèque Imprimer
Export

    Export citations

  • Fichier

  • Contenu

Vol 343 - N° 1

P. 1-4 - juillet 2006 Retour au numéro
Article précédent Article précédent
  • Editorial Board
| Article suivant Article suivant
  • Three examples of three-dimensional continued fractions in the sense of Klein
  • Oleg Karpenkov

Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’accès au texte intégral de cet article nécessite un abonnement.

Bienvenue sur EM-consulte, la référence des professionnels de santé.
L’achat d’article à l’unité est indisponible à l’heure actuelle.

Déjà abonné à cette revue ?

Mon compte


Plateformes Elsevier Masson

Déclaration CNIL

EM-CONSULTE.COM est déclaré à la CNIL, déclaration n° 1286925.

En application de la loi nº78-17 du 6 janvier 1978 relative à l'informatique, aux fichiers et aux libertés, vous disposez des droits d'opposition (art.26 de la loi), d'accès (art.34 à 38 de la loi), et de rectification (art.36 de la loi) des données vous concernant. Ainsi, vous pouvez exiger que soient rectifiées, complétées, clarifiées, mises à jour ou effacées les informations vous concernant qui sont inexactes, incomplètes, équivoques, périmées ou dont la collecte ou l'utilisation ou la conservation est interdite.
Les informations personnelles concernant les visiteurs de notre site, y compris leur identité, sont confidentielles.
Le responsable du site s'engage sur l'honneur à respecter les conditions légales de confidentialité applicables en France et à ne pas divulguer ces informations à des tiers.


Tout le contenu de ce site: Copyright © 2024 Elsevier, ses concédants de licence et ses contributeurs. Tout les droits sont réservés, y compris ceux relatifs à l'exploration de textes et de données, a la formation en IA et aux technologies similaires. Pour tout contenu en libre accès, les conditions de licence Creative Commons s'appliquent.