Switch to: References

Add citations

You must login to add citations.
  1. Non-Trivial Higher Homotopy of First-Order Theories.Tim Campion & Jinhe Ye - forthcoming - Journal of Symbolic Logic:1-7.
    Let T be the theory of dense cyclically ordered sets with at least two elements. We determine the classifying space of $\mathsf {Mod}(T)$ to be homotopically equivalent to $\mathbb {CP}^\infty $. In particular, $\pi _2(\lvert \mathsf {Mod}(T)\rvert )=\mathbb {Z}$, which answers a question in our previous work. The computation is based on Connes’ cycle category $\Lambda $.
    Download  
     
    Export citation  
     
    Bookmark