Hostname: page-component-78c5997874-j824f Total loading time: 0 Render date: 2024-11-11T03:24:02.853Z Has data issue: false hasContentIssue false
  • English
  • Français

Des belles paires aux beaux uples

Published online by Cambridge University Press:  12 March 2014

Elisabeth Bouscaren  and
Bruno Poizat
Elisabeth Bouscaren
Affiliation:
Uer de Mathématiques, Université Paris-VII, 75251 Paris, France
Bruno Poizat
Affiliation:
82 Rue Racine, 69100 Villeurbanne, France
Get access Rights & Permissions [Opens in a new window]

Extract

Une bijection p de M 2 dans M est dite sans cycles, ou encore localement libre, si pour tout terme t(x 1,…,xn ) formé à partir de p, et qui n'est pas une simple variable, on a, pour tous a 1,…,an de M, t(a 1,… an ) ≠ a 1; toutes ces “fonctions-paires” sont élémentairement équivalentes, à condition, bien sûr, que l'ensemble M soit non vide, et leur théorie (parfois traduite dans un autre langage) a été considérée par divers auteurs.

Ainsi, A. Mal'cev [Mal'cev 1962] a décrit toutes les théories d'algèbre localement libres, associées à un langage fonctionnel arbitraire; O. Belegradek [Belegradek] a étudié dans le détail leurs propriétés de stabilité; F. Lucas [Lucas 1978] avait également considéré des fonctions-paires localement libres; c'est encore une fonction-paire qui a été utilisée par J. F. Pabion [Pabion 1982], pour ω1-saturer, mais pas davantage, les modèles de l'Arithmétique; il a été remarqué, dans [Poizat 1984], combien il était utile pour cela de disposer d'une théorie non superstable sans propriété de recouvrement fini; dans un tout autre contexte, et pour de tout autres raisons, cette théorie de fonctions-paires a également été utilisée dans [Poizat 1986]; tous ces emplois supposent qu'on y maîtrise bien l'élimination des quanteurs.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 53 , Issue 2 , June 1988 , pp. 434 - 442
Copyright
Copyright © Association for Symbolic Logic 1988

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

[Belegradek] Belegradek, O. V., Theory of models of locally free algebras, Trudy Instituta Matematiki Sibirskogo Otdelenija Akademii Nauk SSSR (à paraître), (en russe)Google Scholar
[Bouscaren 1985] Bouscaren, E., Thèse de Doctorat d‘État, Université Paris-VII, Paris.Google Scholar
[Bouscaren 1987] Bouscaren, E., Dimensional order property and pairs of models, Annals of Pure and Applied Logic (à paraître).Google Scholar
[Combase 1984] Combase, J., Ph.D. thesis, Stanford University, Stanford, California.Google Scholar
[Delon] Delon, F., Types et idéaux sur les corps séparablement clos, Bulletin de la Société Mathématique de France (à paraître).Google Scholar
[Eklof-Mekler 1979] Eklof, P. and Mekler, A., Stationary logic of finitely determinate structures, Annals of Mathematical Logic, vol. 17. pp. 227–270.CrossRefGoogle Scholar
[Lucas 1978] Lucas, F., Equivalence élémentaire et produits, Comptes Rendus Hebdomadaires des Séances de l‘Académie des Sciences, Série A, vol. 287, pp. 287–41.Google Scholar
[Mal‘cev 1962] Mal'cev, A. I., Axiomatizable classes of locally free algebras of certain types, Sibirskiĭ Matematičeskiĭ Žurnal, vol. 3, pp. 729–743; English translation, Chapter 23 in A. I. Mal‘cev, The metamathematics of algebraic systems. Collected papers: 1936–1967 , North-Holland, Amsterdam, 1971.Google Scholar
[Mekler] Mekler, A., Classification theory and stationary logic (preprint).Google Scholar
[Pabion 1982] Pabion, J.-F., Saturated models of Peano arithmetic, this Journal, vol. 47, pp. 625–637.Google Scholar
[Poizat 1983] Poizat, B., Paires de structures stables, this Journal, vol. 48, pp. 239–249.Google Scholar
[Poizat 1984] Poizat, B., Deux remarques à propos de la propriété de recouvrement fini, this Journal, vol. 49, pp. 803–807.Google Scholar
[Poizat 1985] Poizat, B., Cours de théorie des modèles, Nur al-Mantiq wal-Ma‘rifah, Villeurbanne.Google Scholar
[Poizat 1986] Poizat, B., À l‘ouest d‘Éden, this Journal, vol. 51, pp. 795–816.Google Scholar
[Shelah 1982] Shelah, S., The spectrum problem. I, Israel Journal of Mathematics, vol. 43, pp. 43–324.CrossRefGoogle Scholar