Sur une application possible du concept d’homotopie à la théorie des modèles

Brice Halimi

Annales de la faculté des sciences de Toulouse Mathématiques (2013)

  • Volume: 22, Issue: 5, page 1017-1043
  • ISSN: 0240-2963

Abstract

top
This paper endeavors to show the possible application to model theory of concepts coming from modern homotopy theory. In particular, the concept of simplicial set can be brought into play to describe the formulas of a first-order language L, the definable subsets of an L-structure, as well as the type spaces of a theory expressed in L. It is shown that to any L-structure can be associated a simplicial set, according to a functorial mapping that associates simplicial maps to elementary embeddings. Finally, a comparison is sketched between elementary classes of models (in the model-theoretic sense) and model categories (in the homotopy-theoretic sense).

How to cite

top

Halimi, Brice. "Sur une application possible du concept d’homotopie à la théorie des modèles." Annales de la faculté des sciences de Toulouse Mathématiques 22.5 (2013): 1017-1043. <http://eudml.org/doc/275338>.

@article{Halimi2013,
abstract = {Cet article vise à appliquer certains concepts de la théorie moderne de l’homotopie à la théorie des modèles. En particulier, le concept d’ensemble simplicial est employé pour décrire les formules d’un langage L du premier ordre, les ensembles définissables d’une structure d’interprétation de L, et les espaces de types d’une théorie couchée dans L. On montre qu’à toute structure d’interprétation de L peut être associé un ensemble simplicial, selon une correspondance fonctorielle qui traduit plongements élémentaires en morphismes d’ensembles simpliciaux. Pour finir, une comparaison est esquissée entre classes élémentaires de modèles (au sens de la théorie des modèles) et catégories de modèles (au sens de la théorie de l’homotopie).},
author = {Halimi, Brice},
journal = {Annales de la faculté des sciences de Toulouse Mathématiques},
language = {fre},
month = {12},
number = {5},
pages = {1017-1043},
publisher = {Université Paul Sabatier, Toulouse},
title = {Sur une application possible du concept d’homotopie à la théorie des modèles},
url = {http://eudml.org/doc/275338},
volume = {22},
year = {2013},
}

TY - JOUR
AU - Halimi, Brice
TI - Sur une application possible du concept d’homotopie à la théorie des modèles
JO - Annales de la faculté des sciences de Toulouse Mathématiques
DA - 2013/12//
PB - Université Paul Sabatier, Toulouse
VL - 22
IS - 5
SP - 1017
EP - 1043
AB - Cet article vise à appliquer certains concepts de la théorie moderne de l’homotopie à la théorie des modèles. En particulier, le concept d’ensemble simplicial est employé pour décrire les formules d’un langage L du premier ordre, les ensembles définissables d’une structure d’interprétation de L, et les espaces de types d’une théorie couchée dans L. On montre qu’à toute structure d’interprétation de L peut être associé un ensemble simplicial, selon une correspondance fonctorielle qui traduit plongements élémentaires en morphismes d’ensembles simpliciaux. Pour finir, une comparaison est esquissée entre classes élémentaires de modèles (au sens de la théorie des modèles) et catégories de modèles (au sens de la théorie de l’homotopie).
LA - fre
UR - http://eudml.org/doc/275338
ER -

References

top
  1. André (M.).— Méthode simpliciale en algèbre homologique et algèbre commutative, volume 32 of LNM. Springer, Berlin (1967). Zbl0154.01402MR214644
  2. Baldwin (J.).— Categoricity. Lecture Notes. American Mathematical Society, Providence (2010). Zbl1183.03002MR2532039
  3. Goerss (P. G.), Jardine (J. F.).— Simplicial Homotopy Theory, volume 174 of Progress in Mathematics. Birkhhäuser, Basel (1999). Zbl0949.55001MR1711612
  4. Guitart (R.).— Construction of an homology and a cohomology theory associated to a first order formula. Diagrammes, 23, p. 7-13 (1990). Zbl0715.18004MR1082995
  5. Hodges (W.).— Model Theory, volume 42 of Encyclopedia of Mathematics and Its Applications. Cambridge University Press, Cambridge (1993). Zbl0789.03031MR1221741
  6. Hofmann (M.), Streicher (T.).— The groupoid interpretation of type theory. In Sambin (G.) et Smith (J. M.), editors, Twenty Five Years of Constructive Type Theory, volume 36 of Oxford Logic Guides, p. 83-111. Oxford University Press, New York (1998). Zbl0930.03089MR1686862
  7. Knight (R. W.).— Categories of topological spaces and scattered theories. Notre Dame Journal of Formal Logic, 48(1), p. 53-77 (2007). Zbl1123.03020MR2289897
  8. Kouneiher (J.), Balan (A. P. M.).— Propositional manifolds and logical cohomology. Synthese, 125(1-2), p. 147-154 (2000). Zbl0970.03048MR1801020
  9. May (J. P.).— A concise course in algebraic topology. The University of Chicago Press, Chicago (1999). Zbl0923.55001MR1702278
  10. Poizat (B.).— A Course in Model Theory : An Introduction to Contemporary Mathematical Logic. Universitext. Springer, New York (2000). Zbl0951.03002MR1757487
  11. Westerståhl (D.).— Self-commuting quantifiers. Journal of Symbolic Logic, 61(1), p. 212-224 (1996). Zbl0872.03023MR1380684

NotesEmbed ?

top

You must be logged in to post comments.