Cyclic theories (Q513910)

The authors develop an interesting study of the epicyclic topos [\textit{A. Connes} and \textit{C. Consani}, Rend. Semin. Mat. Univ. Padova 134, 197--237 (2015; Zbl 1331.18005)] from a logical point of view. A geometric theory classified by this topos is given and as a by-product they derive the description of the geometric theories classified by the cyclic topos [\textit{A. Connes} and \textit{C. Consani}, J. Pure Appl. Algebra 219, No. 4, 1211--1235 (2015; Zbl 1328.19005)] and the arithmetic topos [\textit{A. Connes} and \textit{C. Consani}, C. R., Math., Acad. Sci. Paris 352, No. 12, 971--975 (2014; Zbl 1315.11054); Adv. Math. 291, 274--329 (2016; Zbl 1368.14038)]. The paper contains, in particular, an explicit characterization of the points of these toposes that is obtained, unlike the original description given in [\textit{A. Connes} and \textit{C. Consani}, Rend. Semin. Mat. Univ. Padova 134, 197--237 (2015; Zbl 1331.18005)], by implementing arguments of logical nature which rely on the techniques developed in [\textit{O.~Caramello}, ``Extensions of flat functors and theories of presheaf type'', Preprint, \url{arXiv:1404.461}].