HOMOTOPY MODEL THEORY

DOI10.1017/jsl.2019.19OpenAlexW3091789646MaRDI QIDQ5021916

Brice Halimi

Publication date: 17 January 2022

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2019.19

zbMATH Keywords

simplicial setsfibrationsdefinable subsetso-minimalitytype spaceshomotopical algebraquantifiers as face operators

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Model theory of ordered structures; o-minimality (03C64) Abstract model theory (03C95)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Boolean formulae, hypergraphs and combinatorial topology
• Categories of topological spaces and scattered theories
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Definable Sets in Ordered Structures. I
• Paires de structures O-minimales
• Homology Groups of Types in Model Theory and the Computation of H₂(p)
• Categoricity in Power
• Simplicial homotopy theory

This page was built for publication: HOMOTOPY MODEL THEORY