Journal article
NON-TRIVIAL HIGHER HOMOTOPY OF FIRST-ORDER THEORIES
- Abstract:
- Let T be the theory of dense cyclically ordered sets with at least two elements. We determine the classifying space of to be homotopically equivalent to . In particular, , which answers a question in our previous work. The computation is based on Connes’ cycle category .
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Version of record, pdf, 150.7KB, Terms of use)
-
- Publisher copy:
- 10.1017/jsl.2024.3
Authors
- Publisher:
- Cambridge University Press
- Journal:
- Journal of Symbolic Logic More from this journal
- Volume:
- 91
- Issue:
- 1
- Pages:
- 230-236
- Publication date:
- 2024-01-11
- DOI:
- EISSN:
-
1943-5886
- ISSN:
-
0022-4812
- Language:
-
English
- Keywords:
- Source identifiers:
-
3812664
- Deposit date:
-
2026-03-02
- ARK identifier:
This ORA record was generated from metadata provided by an external service. It has not been edited by the ORA Team.
Terms of use
- Copyright date:
- 2024
- Licence:
- CC Attribution (CC BY)
If you are the owner of this record, you can report an update to it here: Report update to this record