On a possible application of the homotopy concept to model theory

DOI10.5802/AFST.1394MaRDI QIDQ2448535zbMATH OpenOpenAlexFDO

Authors Brice Halimi

Publication date 2 May 2014

Published in Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI (Search for Journal in Brave)

Full work available at URL https://doi.org/10.5802/afst.1394

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Homotopy theory (55P99)

Recommendations

• Exercices de style: a homotopy theory for set theory
• scientific article; zbMATH DE number 4177353
• scientific article; zbMATH DE number 937397
• Théories homotopiques dans les topos. (Homotopy theories in topoi)
• Homotopy theory of normed sets. II: Model categories

Cites work

• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Categoricity
• Categories of topological spaces and scattered theories
• scientific article; zbMATH DE number 4177353 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1302059 (Why is no real title available?)
• scientific article; zbMATH DE number 1324388 (Why is no real title available?)
• Méthode simpliciale en algèbre homologique et algèbre commutative
• Propositional manifolds and logical cohomology
• Self-commuting quantifiers
• Simplicial homotopy theory

Cited in

(10)

• Rigidification of algebras over essentially algebraic~theories
• Categories with homotopy determine a closed model structure
• scientific article; zbMATH DE number 4177353 (Why is no real title available?)
• scientific article; zbMATH DE number 742997 (Why is no real title available?)
• HOMOTOPY MODEL THEORY
• General topology meets model theory, on 𝔭 and 𝔱
• Structures, homomorphisms, and the needs of model theory
• Amalgamation functors and homology groups in model theory
• Exercices de style: a homotopy theory for set theory
• Finite relational structure models of topological spaces and maps

This page was built for publication: On a possible application of the homotopy concept to model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2448535)