3 citations · 7 across the 9 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2023
Non-trivial higher homotopy of first-order theories
Tim Campion, Jinhe Ye
Let be the theory of dense cyclically ordered sets with at least two elements. We determine the classifying space of to be homotopically equivalent to $\mathb…
math.LO2019★ 3 cited
Homotopy Types of Abstract Elementary Classes
Tim Campion, Jinhe Ye
We prove that for any homotopy type , there is an abstract elementary class , with joint embedding, almagamation and no maximal models such that the classifying spa…
math.LO2018★ 3 cited
Classifying spaces and the Lascar group
Tim Campion, Greg Cousins, Jinhe Ye
We show that the Lascar group of a first order theory is naturally isomorphic to the fundamental group of the classifyi…