Fiche du document
2013
- handle: 10670/1.tnf4ku
- hal: hal-01551276
- doi: 10.5802/afst.1394
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/doi/10.5802/afst.1394
Mots-clés
Formes et méthodes de la scienceCiter ce document
Brice Halimi, « Sur une application possible du concept d'homotopie à la théorie des modèles », HAL-SHS : philosophie, ID : 10.5802/afst.1394
Métriques
Partage / Export
Résumé
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).