{"entities":{"Q513910":{"pageid":515677,"ns":120,"title":"Item:Q513910","lastrevid":62408889,"modified":"2026-04-11T05:53:26Z","type":"item","id":"Q513910","labels":{"en":{"language":"en","value":"Cyclic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6692923"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$6F6CF7D1-908C-4CE3-BC24-AAB1D7796654","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de82f56bc041544faf6bfd1a8e505a8aa183aba8","datavalue":{"value":{"text":"Cyclic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q513910$D4ADAD07-E964-4BA6-B736-8C9FFBC624AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11de8e73f64faa81938ef06e9170f42232b2d1d6","datavalue":{"value":"1386.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513910$FC8399FB-F6CC-4A8C-BF67-0FAD5DA9F1B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54abcbb815d1a58f46a444816126c0eaeeab96da","datavalue":{"value":{"entity-type":"item","numeric-id":290643,"id":"Q290643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$8E3CFA54-60A9-4550-98A7-2583A42F05C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3845e38404a077bc8478479f9bf72df2694c049b","datavalue":{"value":{"entity-type":"item","numeric-id":513909,"id":"Q513909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$F1C5BF9F-D228-4692-87E5-6DD6FAC0B699","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$D1DF4D7D-A6DB-4A59-80D5-D7BD5E12E591","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfcac69084525e2046d0325e944af21e7e0a5836","datavalue":{"value":{"time":"+2017-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q513910$8237147B-458D-4F11-BF77-75DC3A2F6B0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c98a1e1eb4c1c1b4febb085f2cf5a34f121873de","datavalue":{"value":"https://arxiv.org/abs/1406.5479","type":"string"},"datatype":"url"},"type":"statement","id":"Q513910$09585799-C855-4B72-94FE-CE6C70221953","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a198710dde18121e719b8bc59ebab993099182d5","datavalue":{"value":"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}].","type":"string"},"datatype":"string"},"type":"statement","id":"Q513910$7B8EA0C7-A62A-4727-BA12-0607FD965F84","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d659bb9cf410d1cb2035cd4479bd864749ff23d7","datavalue":{"value":{"entity-type":"item","numeric-id":282691,"id":"Q282691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$C3383E71-3BE5-4812-AADB-BF588A6115E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513910$C951AC23-D09E-4F67-9AB1-E55A143D50AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513910$DB15C295-8734-4F5F-BF99-28DA6B70B80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513910$D4A16E9A-DE7A-417F-8784-C569BF54DCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"29809340e83938f44ddde1ea70aa5ac9cf46faca","datavalue":{"value":"19D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513910$57A6EC8B-913B-49C8-8445-8F7E0A5AA355","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b862cef5997d9718594294025d94de559dace7bb","datavalue":{"value":"6692923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513910$FA6BADC8-337A-438E-9861-5CE320DDD8A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a04ef1a453bdf585ffe706aca63ebe97986aeb","datavalue":{"value":"cyclic topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q513910$A335C21C-EAD0-4F1A-96B9-34381BAF73B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a7cd4c3b838fdaf4a5f8427f736bb469ca08a1c","datavalue":{"value":"epicyclic category","type":"string"},"datatype":"string"},"type":"statement","id":"Q513910$ADE60C38-8D60-44E0-ABFE-0725CC4A2AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"665fa3087df0a7ff35546788c5ec67f3dac615fe","datavalue":{"value":"classifying topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q513910$A77BEFC0-C991-49A6-B92C-0F2E2C7FE563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df9da2a00eac76b73a0fcb2df212d08080ea9286","datavalue":{"value":"arithmetic site","type":"string"},"datatype":"string"},"type":"statement","id":"Q513910$1097BF51-9C69-47EF-85AB-AABD263524BC","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$AF840CEA-9A0C-4363-841B-2A1DF6E963C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b26791d97ef61a0957895a0da0eb5d829ade508d","datavalue":{"value":"W3038118976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513910$38A02681-B255-429A-9B98-13D636DE0E6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"803995a94916c40d067c03f73dc5610111f39c6e","datavalue":{"value":{"entity-type":"item","numeric-id":2254565,"id":"Q2254565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$61C1597D-28C3-418A-A663-455415EB7B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97eb21bcea167a9d87958d5cd1f993e566e5e19e","datavalue":{"value":{"entity-type":"item","numeric-id":479315,"id":"Q479315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$0DCFE327-4D27-4986-9415-7492184DAE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f063b4acad721f1f22640decc1d6ce2b03f57343","datavalue":{"value":{"entity-type":"item","numeric-id":3317281,"id":"Q3317281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$E2D0533A-C84B-405D-B8D1-334B78E5959C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7342f0f8084a67e8529b78b4c27dbd0f3b343f9","datavalue":{"value":{"entity-type":"item","numeric-id":2877704,"id":"Q2877704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$C3E6634C-8F0F-49D2-9FF1-EE30AF0FCDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b937eb9f66edb4fbf8f6991eaec38c9da61070fb","datavalue":{"value":{"entity-type":"item","numeric-id":5256672,"id":"Q5256672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$14ACF1FE-F296-410A-9D31-06BDA7BC1CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6677641b8a56e54d593bd61147016fd11027e970","datavalue":{"value":{"entity-type":"item","numeric-id":479926,"id":"Q479926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$44D95BA8-5C96-44A3-9F7D-10949730A4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30f63871d9d7a0b1b9c67cece9da7d1a5d59c72","datavalue":{"value":{"entity-type":"item","numeric-id":2634783,"id":"Q2634783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$F6ECF7EE-353B-4635-99C7-0AA82130A22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34f8a7cd02d0bbde99446cb4f23f01143f19eca","datavalue":{"value":{"entity-type":"item","numeric-id":899686,"id":"Q899686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$D4BF97B2-055D-4C43-90D4-33C55A819E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865739c8c46b7eb8ebee9997f21b126349ae7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":4513600,"id":"Q4513600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q513910$4800EA9E-F507-4D4A-A0CF-A1FD049FB9B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe4adf652da58634b5b454ca4e3a79d95e6bd53b","datavalue":{"value":"10.1007/S10485-015-9414-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q513910$980904AA-C71A-4AFF-92C5-C110D7F326FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a37e3b6f65979f73ddee7ef8510482b15a64541a","datavalue":{"value":{"entity-type":"item","numeric-id":3574200,"id":"Q3574200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9271d442ad0e598e0a4c374462d2c84369296974","datavalue":{"value":{"amount":"+0.83958036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q513910$9BD6B2A7-A8AD-4C23-BD13-4141F4C69695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be265009796d66e1a80544527a90d548c873e3de","datavalue":{"value":{"entity-type":"item","numeric-id":4217917,"id":"Q4217917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f01a8e11646427d3a8418a365ccb5a4b629a36","datavalue":{"value":{"amount":"+0.83118784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q513910$A95AD907-453B-4FF5-8B7D-E73DEDF6774D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76181056e3f7e20e4aaaaf6b41e5f744ea9192f4","datavalue":{"value":{"entity-type":"item","numeric-id":451056,"id":"Q451056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc0d50b685ff2fc45f77ddb00fe2220480816d8","datavalue":{"value":{"amount":"+0.8291491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q513910$E117979B-69C4-40F0-8754-E838674EE748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61c1ef3e120a1541ab751e3c122178446efdeda","datavalue":{"value":{"entity-type":"item","numeric-id":4645228,"id":"Q4645228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e93352f3f11a069b65d847b8151910f7e0d8dc5","datavalue":{"value":{"amount":"+0.82758266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q513910$FBFF960B-12D3-412E-A108-B06AB68DDC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd1c144ddbbce72c4a5a09b4e1c3cd1c91ac913","datavalue":{"value":{"entity-type":"item","numeric-id":5109170,"id":"Q5109170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6fbf4fcce8307c67b0a6021f79aec2b2d4b6c9","datavalue":{"value":{"amount":"+0.8252057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q513910$FC38759C-84C7-420D-AD7E-B4484932F4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d30335f97d210e0a28bc94491d010ad8afb207d9","datavalue":{"value":{"entity-type":"item","numeric-id":2958190,"id":"Q2958190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f1fc92379f09aaf23ca306651f29ed20e15cee","datavalue":{"value":{"amount":"+0.82448983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q513910$DC6A823B-AEB1-441F-8EB7-A37659A77503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8cab8f62e644626d6ac80ce710db34ac98f47e","datavalue":{"value":{"entity-type":"item","numeric-id":5691671,"id":"Q5691671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54486d57afb5af6dc2a32bb78226599bdeb1dbde","datavalue":{"value":{"amount":"+0.82416415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q513910$A127BC9D-2890-486C-A6BB-474200E7D502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"756ec5d13ad1d9d5f67e41c9373dfa5683f5be53","datavalue":{"value":{"entity-type":"item","numeric-id":3101371,"id":"Q3101371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f655a575dfed34c7436f8fc1091be1e485e7a2c8","datavalue":{"value":{"amount":"+0.82180065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q513910$C56E8F5E-4763-4CEE-9CC9-FFB80FA4B319","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cyclic theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cyclic_theories"}}}}}