Titre : Comptes rendus hebdomadaires des séances de l'Académie des sciences... Série A et B : sciences mathématiques. Sciences physiques / Académie des sciences ; [dir. publ. Guy de Dampierre]
Auteur : Académie des sciences (France). Auteur du texte
Éditeur : Gauthier-Villars (Paris)
Date d'édition : 1975-04-01
Notice du catalogue : http://catalogue.bnf.fr/ark:/12148/cb34484666t
Type : texte texte
Type : publication en série imprimée publication en série imprimée
Langue : français
Format : Nombre total de vues : 38175 Nombre total de vues : 38175
Description : 01 avril 1975 01 avril 1975
Description : 1975/04/01 (SERA,T280,PART2)-1975/04/30. 1975/04/01 (SERA,T280,PART2)-1975/04/30.
Droits : Consultable en ligne
Identifiant : ark:/12148/bpt6k6226674g
Source : Bibliothèque nationale de France, département Collections numérisées, 2008-226741
Conservation numérique : Bibliothèque nationale de France
Date de mise en ligne : 11/10/2012
- Aller à la page de la table des matières1
- I. - PARTIE SCIENTIFIQUE
- MATHÉMATIQUES PURES ET APPLIQUÉES
- Logique mathématique
- Théorie des ensembles
- .......... Page(s) .......... 853
- Théorie des nombres
- Algèbre
- Radical de Jacobson d'un anneau de groupe sur un groupe de Frobenius fini, par M. Jean-Louis Margot........... Page(s) .......... 551
- .......... Page(s) .......... 617
- .......... Page(s) .......... 621
- .......... Page(s) .......... 697
- .......... Page(s) .......... 763
- .......... Page(s) .......... 767
- .......... Page(s) .......... 771
- .......... Page(s) .......... 857
- .......... Page(s) .......... 925
- Algèbre des catégories
- Algèbre commutative
- .......... Page(s) .......... 701
- Théorie des groupes
- Groupes de Lie
- .......... Page(s) .......... 625
- Algèbres de Lie
- Topologie
- Propriétés topologiques des mesures vectorielles et applications, par Mlle Marie-France Sainte-Beuve.......... Page(s) .......... 881
- Topologie générale
- .......... Page(s) .......... 705
- Topologie algébrique
- Analyse mathématique
- .......... Page(s) .......... 559
- .......... Page(s) .......... 563
- .......... Page(s) .......... 579
- .......... Page(s) .......... 629
- .......... Page(s) .......... 633
- .......... Page(s) .......... 709
- .......... Page(s) .......... 777
- .......... Page(s) .......... 785
- .......... Page(s) .......... 933
- .......... Page(s) .......... 993
- .......... Page(s) .......... 1055
- Théorie de la mesure
- .......... Page(s) .......... 567
- Théorie des fonctions
- Analyse fonctionnelle
- .......... Page(s) .......... 575
- .......... Page(s) .......... 641
- .......... Page(s) .......... 645
- .......... Page(s) .......... 713
- .......... Page(s) .......... 717
- .......... Page(s) .......... 797
- .......... Page(s) .......... 885
- .......... Page(s) .......... 937
- .......... Page(s) .......... 1001
- .......... Page(s) .......... 1061
- Analyse harmonique
- .......... Page(s) .......... 571
- Équations aux dérivées partielles
- Géométrie algébrique
- .......... Page(s) .......... 801
- Géométrie différentielle
- Géométrie analytique
- .......... Page(s) .......... 893
- Familles équisingulières de surfaces à singularité isolée, par MM. Joël Briançon et Jean-Paul Speder.......... Page(s) .......... 1013
- .......... Page(s) .......... 1071
- Mathématiques appliquées
- Analyse numérique
- Calcul des probabilités
- Théorie des probabilités
- Statistique mathématique
- .......... Page(s) .......... 1029
- Informatique
- .......... Page(s) .......... 825
- Théorie de l'information
- Théorie des jeux
- .......... Page(s) .......... 681
- Mathématiques économiques
- .......... Page(s) .......... 961
- MECANIQUE
- MÉCANIQUE CÉLESTE
- II. - AUTEURS
- .......... Page(s) .......... 781
- .......... Page(s) .......... 913
- .......... Page(s) .......... 1017
- .......... Page(s) .......... 857
- .......... Page(s) .......... 733
- .......... Page(s) .......... 1083
- .......... Page(s) .......... 717
- .......... Page(s) .......... 753
- .......... Page(s) .......... 539
- .......... Page(s) .......... 677
- .......... Page(s) .......... 649
- .......... Page(s) .......... 745
- .......... Page(s) .......... 837
- .......... Page(s) .......... 913
- .......... Page(s) .......... 729
- .......... Page(s) .......... 1013
- .......... Page(s) .......... 705
- .......... Page(s) .......... 961
- .......... Page(s) .......... 733
- .......... Page(s) .......... 921
- .......... Page(s) .......... 917
- .......... Page(s) .......... 645
- .......... Page(s) .......... 789
- .......... Page(s) .......... 877
- .......... Page(s) .......... 985
- .......... Page(s) .......... 821
- .......... Page(s) .......... 1055
- .......... Page(s) .......... 997
- .......... Page(s) .......... 665
- .......... Page(s) .......... 865
- .......... Page(s) .......... 607
- .......... Page(s) .......... 579
- .......... Page(s) .......... 777
- .......... Page(s) .......... 641
- .......... Page(s) .......... 677
- .......... Page(s) .......... 677
- .......... Page(s) .......... 897
- .......... Page(s) .......... 621
- .......... Page(s) .......... 1025
- .......... Page(s) .......... 957
- .......... Page(s) .......... 841
- .......... Page(s) .......... 841
- .......... Page(s) .......... 941
- .......... Page(s) .......... 793
- .......... Page(s) .......... 551
- .......... Page(s) .......... 737
- .......... Page(s) .......... 673
- .......... Page(s) .......... 849
- .......... Page(s) .......... 611
- .......... Page(s) .......... 885
- .......... Page(s) .......... 595
- .......... Page(s) .......... 905
- .......... Page(s) .......... 1029
- .......... Page(s) .......... 937
- .......... Page(s) .......... 1001
- .......... Page(s) .......... 889
- .......... Page(s) .......... 681
- .......... Page(s) .......... 543
- .......... Page(s) .......... 825
- .......... Page(s) .......... 785
- .......... Page(s) .......... 575
- .......... Page(s) .......... 575
- .......... Page(s) .......... 531
- .......... Page(s) .......... 603
- .......... Page(s) .......... 763
- .......... Page(s) .......... 881
- .......... Page(s) .......... 709
- .......... Page(s) .......... 653
- .......... Page(s) .......... 801
- .......... Page(s) .......... 633
- .......... Page(s) .......... 1013
- .......... Page(s) .......... 797
- .......... Page(s) .......... 555
- .......... Page(s) .......... 853
- .......... Page(s) .......... 957
C. R. Acad. Se. Paris, t. 280 (7 avril 1975) Série A — 845
NOTES DES MEMBRES ET CORRESPONDANTS
ET NOTES PRÉSENTÉES OU TRANSMISES PAR LEURS SOINS
LOGIQUE MATHÉMATIQUE. — Théorèmes globaux.
Note (*) de M. Bruno Poizat, présentée par M. René Garnier.
Un théorème établit l'équivalence d'une détermination syntaxique et d'une propriété séman-
tique, par exemple d'invariance sous certaines conditions; cette propriété est locale si elle ne fait
intervenir qu'un seul modèle : s'il est infini, la définition doit être faite dans un langage infinitaire
suffisamment puissant; elle est globale si elle fait intervenir toutes les structures logiquement
équivalentes à un modèle donné, et dans ce cas le langage finitaire suffit. Par exemple, le théo-
rème de la théorie de Galois abstraite de M. Krasner C1), et celui, plus étroit, mais plus précis, de
définissabilité dans les modèles dénombrables de Dana S. Scott (2), ont pour version globale
le théorème de L. Svenonius (3).
Je donne dans cette Note des versions globales de théorèmes locaux découverts par Krasner et
Kalujnin.
Soit r une relation d'arité finie n, de base A, et/une fonction à k arguments de A dans A,
c'est-à-dire une fonction de Ak dans A; je dis que stabilise r si pour toute suite de k
n-uples satisfaisant tous r, leur image par f satisfait aussi r; si n'a qu'un seul argument,
je dis aussi que c'est un endomorphisme de r; un automorphisme de r est un endomor-
phisme bijectif dont l'inverse stabilise aussi r.
Il est clair que si stabilise r, il stabilise aussi toute relation de la forme F (r), où F
est une formule obtenue à partir des formules atomiques (de la forme x = y ou rE, où 8
est un changement de variables non nécessairement bijectif) par applications successives
des opérateurs A, 3; si/n'a qu'un seul argument, elle stabilise les formules en V, A, 3;
si /est en outre surjective, elle stabilise les formules en V, A, 3, V; enfin si c'est un auto-
morphisme, elle stabilise toutes les formules.
Considérons maintenant deux structures homologues A et B de signature finie (si bien
qu'il n'y a qu'un nombre fini, à changement du nom des variables muettes près, de for-
mules de variables libres x1, ., xn et de rang de quantification inférieur à p). Une appli-
cation d'une partie finie de A sur une partie finie de B est dite :
e O-homomorphisme si toute formule atomique vérifiée par un n-uple extrait du
domaine de l'est aussi par son image par f
e p+ I-homomorphisme si pour toute adjonction d'un élément à son domaine elle
est prolongeable en un p-homomorphisme.
Je définis également la série des p-épimorphismes :
w O-épimorphisme : pas de changement.
< p+ l-épimorphisme si pour toute adjonction d'un élément à son domaine, comme
pour toute adjonction d'un élément à son image, elle est prolongeable en un p-épimor-
phisme.
Les p-isomorphismes sont les p-épimorphismes pour les relations de la structure, leurs
négations et la relation x # y : ce sont les (p-p )-isomorphismes de R. Fraïssé (4).
NOTES DES MEMBRES ET CORRESPONDANTS
ET NOTES PRÉSENTÉES OU TRANSMISES PAR LEURS SOINS
LOGIQUE MATHÉMATIQUE. — Théorèmes globaux.
Note (*) de M. Bruno Poizat, présentée par M. René Garnier.
Un théorème établit l'équivalence d'une détermination syntaxique et d'une propriété séman-
tique, par exemple d'invariance sous certaines conditions; cette propriété est locale si elle ne fait
intervenir qu'un seul modèle : s'il est infini, la définition doit être faite dans un langage infinitaire
suffisamment puissant; elle est globale si elle fait intervenir toutes les structures logiquement
équivalentes à un modèle donné, et dans ce cas le langage finitaire suffit. Par exemple, le théo-
rème de la théorie de Galois abstraite de M. Krasner C1), et celui, plus étroit, mais plus précis, de
définissabilité dans les modèles dénombrables de Dana S. Scott (2), ont pour version globale
le théorème de L. Svenonius (3).
Je donne dans cette Note des versions globales de théorèmes locaux découverts par Krasner et
Kalujnin.
Soit r une relation d'arité finie n, de base A, et/une fonction à k arguments de A dans A,
c'est-à-dire une fonction de Ak dans A; je dis que stabilise r si pour toute suite de k
n-uples satisfaisant tous r, leur image par f satisfait aussi r; si n'a qu'un seul argument,
je dis aussi que c'est un endomorphisme de r; un automorphisme de r est un endomor-
phisme bijectif dont l'inverse stabilise aussi r.
Il est clair que si stabilise r, il stabilise aussi toute relation de la forme F (r), où F
est une formule obtenue à partir des formules atomiques (de la forme x = y ou rE, où 8
est un changement de variables non nécessairement bijectif) par applications successives
des opérateurs A, 3; si/n'a qu'un seul argument, elle stabilise les formules en V, A, 3;
si /est en outre surjective, elle stabilise les formules en V, A, 3, V; enfin si c'est un auto-
morphisme, elle stabilise toutes les formules.
Considérons maintenant deux structures homologues A et B de signature finie (si bien
qu'il n'y a qu'un nombre fini, à changement du nom des variables muettes près, de for-
mules de variables libres x1, ., xn et de rang de quantification inférieur à p). Une appli-
cation d'une partie finie de A sur une partie finie de B est dite :
e O-homomorphisme si toute formule atomique vérifiée par un n-uple extrait du
domaine de l'est aussi par son image par f
e p+ I-homomorphisme si pour toute adjonction d'un élément à son domaine elle
est prolongeable en un p-homomorphisme.
Je définis également la série des p-épimorphismes :
w O-épimorphisme : pas de changement.
< p+ l-épimorphisme si pour toute adjonction d'un élément à son domaine, comme
pour toute adjonction d'un élément à son image, elle est prolongeable en un p-épimor-
phisme.
Les p-isomorphismes sont les p-épimorphismes pour les relations de la structure, leurs
négations et la relation x # y : ce sont les (p-p )-isomorphismes de R. Fraïssé (4).
Le taux de reconnaissance estimé pour ce document est de 98.5%.
En savoir plus sur l'OCR
En savoir plus sur l'OCR
Le texte affiché peut comporter un certain nombre d'erreurs. En effet, le mode texte de ce document a été généré de façon automatique par un programme de reconnaissance optique de caractères (OCR). Le taux de reconnaissance estimé pour ce document est de 98.5%.
- Auteurs similaires Bibliographie de la presse française politique et d'information générale Bibliographie de la presse française politique et d'information générale /services/engine/search/sru?operation=searchRetrieve&version=1.2&maximumRecords=50&collapsing=true&exactSearch=true&query=colnum adj "BIPFPIG00"Arts de la marionnette Arts de la marionnette /services/engine/search/sru?operation=searchRetrieve&version=1.2&maximumRecords=50&collapsing=true&exactSearch=true&query=colnum adj "Pam1" Commun Patrimoine: bibliothèque numérique du réseau des médiathèques de Plaine Commune Commun Patrimoine: bibliothèque numérique du réseau des médiathèques de Plaine Commune /services/engine/search/sru?operation=searchRetrieve&version=1.2&maximumRecords=50&collapsing=true&exactSearch=true&query=colnum adj "BnPlCo00" France-Brésil France-Brésil /services/engine/search/sru?operation=searchRetrieve&version=1.2&maximumRecords=50&collapsing=true&exactSearch=true&query=colnum adj "FranceBr"
-
-
Page
chiffre de pagination vue 1/262
- Recherche dans le document Recherche dans le document https://gallica.bnf.fr/services/ajax/action/search/ark:/12148/bpt6k6226674g/f1.image ×
Recherche dans le document
- Partage et envoi par courriel Partage et envoi par courriel https://gallica.bnf.fr/services/ajax/action/share/ark:/12148/bpt6k6226674g/f1.image
- Téléchargement / impression Téléchargement / impression https://gallica.bnf.fr/services/ajax/action/download/ark:/12148/bpt6k6226674g/f1.image
- Mise en scène Mise en scène ×
Mise en scène
Créer facilement :
- Marque-page Marque-page https://gallica.bnf.fr/services/ajax/action/bookmark/ark:/12148/bpt6k6226674g/f1.image ×
Gérer son espace personnel
Ajouter ce document
Ajouter/Voir ses marque-pages
Mes sélections ()Titre - Acheter une reproduction Acheter une reproduction https://gallica.bnf.fr/services/ajax/action/pa-ecommerce/ark:/12148/bpt6k6226674g
- Acheter le livre complet Acheter le livre complet https://gallica.bnf.fr/services/ajax/action/indisponible/achat/ark:/12148/bpt6k6226674g
- Signalement d'anomalie Signalement d'anomalie https://sindbadbnf.libanswers.com/widget_standalone.php?la_widget_id=7142
- Aide Aide https://gallica.bnf.fr/services/ajax/action/aide/ark:/12148/bpt6k6226674g/f1.image × Aide
Facebook
Twitter
Pinterest