Hostname: page-component-848d4c4894-nr4z6 Total loading time: 0 Render date: 2024-05-25T09:21:14.057Z Has data issue: false hasContentIssue false

Paires de structures stables

Published online by Cambridge University Press:  12 March 2014

Bruno Poizat*
Affiliation:
Université Pierre & Marie Curie, Paris, France

Extract

Le paradigme de théorie stable est la théorie T d'un corps algébriquement clos; une autre théorie stable T′ est celle de la structure formée d'un corps algébriquement clos, avec en outre un symbole relationnel unaire interprétant un de ses sous-corps propres algébriquement clos. C'est à l'éclaircissement des rapports de T et de T′ qu'est consacré cet article.

J'y considère une théorie complète T stable, et les structures formées d'un modèle N de T, avec en outre un symbole relationnel unaire (x) interprétant une restriction élémentaire M de N; j'appelle ces structures paires de modèles de T.

Et je dis que la paire (N, M) est belle si d'une part M est ∣T+-saturé, et d'autre part pour tout n-uplet ā d'éléments de N, tout type, au sens de T, sur M ⋃ {α} est réalisé dans N.

Le premier résultat (Théorème 4) est que deux belles paires sont élémentairement équivalentes. Plus précisément, si (N1, M1) et (N2, M2) sont deux belles paires, et si ā est dans la première, b¯ dans la seconde, le fait que le type de ā sur M1 et celui de b¯ sur M2 soient équivalents dans l'ordre fondamental au sens de T suffit (et est bien sûr nécessaire) pour que ā at b¯ aient même type (sur ⊘) au sens de la théorie T′ des belles paires.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1983

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

RÉFÉRENCES

[1]Lachlan, Alistair H., Spectra of ω-stable theories, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Band 24, Heft 2 (1978), Seite 129139.CrossRefGoogle Scholar
[2]Lascar, Daniel and Poizat, Bruno, An introduction to forking, this Journal, vol. 44 (1979), pp. 330350.Google Scholar
[3]Poizat, Bruno, Déviation des types, Thèse de doctorat d'état, Université Pierre & Marie Curie, 1977.Google Scholar
[4]Shelah, Saharon, Stability, the f.c.p.; and superstability, Annals of Mathematical Logic, vol. 3 (1971), pp. 271362.CrossRefGoogle Scholar
[5]Shelah, Saharon, Classification theory, North-Holland, Amsterdam, 1978.Google Scholar