{"entities":{"Q557796":{"pageid":559563,"ns":120,"title":"Item:Q557796","lastrevid":62730162,"modified":"2026-04-11T08:04:36Z","type":"item","id":"Q557796","labels":{"en":{"language":"en","value":"On the final sequence of a finitary set functor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2184039"}},"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":"Q557796$C5CCDDC0-43B8-4150-BF4E-A1D65059F1B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"701d3bf3f70aa90f7f7e01a8792ff54c99a8cc05","datavalue":{"value":{"text":"On the final sequence of a finitary set functor","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557796$E04520B1-07E9-4DC9-AFBA-972E65E42A14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21e6e49f4da771f4cedcb3c5b248b191334dde3c","datavalue":{"value":"1070.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557796$1CF19405-B5E6-4BBC-9445-7D20E9420FE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$61E04940-2742-47AA-93E8-F3FC8987F465","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$2D1E434E-7987-486E-859E-2E5C61E8DB72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557796$C0BCF148-E3FC-44A5-80CF-BB2ADE762D00","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cfcbb472d95eff8e1b7513f9ab4a02e5e6f05477","datavalue":{"value":"Final coalgebras of set functors were offered by \\textit{P. Aczel} and \\textit{N. Mendler} [``A final coalgebra theorem'', in: Category theory and computer science, Lect. Notes Comput. Sci. 389, 357--365 (1989; Zbl 0712.68006)] as a way of modeling infinite abstract data types, and generalize the notion of greatest fixed point of a monotone function on a complete lattice. The process of obtaining either style of object involves a transfinite iteration, and it is the purpose of this paper to give conditions under which the process may be carried out successfully.  In brief, if \\(T: {\\mathcal C}\\to{\\mathcal C}\\) is an endofunctor on a category \\({\\mathcal C}\\), then a \\(T\\)-coalgebra is a pair \\((A, f)\\), where \\(A\\) is an object in \\({\\mathcal C}\\) and \\(f: A\\to T(A)\\) is a morphism in \\({\\mathcal C}\\). If \\((A, f)\\) and \\((B, g)\\) are \\(T\\)-coalgebras, then a \\(T\\)-coalgebra homomorphism from the first to the second is a \\({\\mathcal C}\\)-morphism \\(h: A\\to B\\) such that \\(T(h)\\circ f= g\\circ h\\). A final \\(T\\)-coalgebra, then, is a final object in the category of \\(T\\)-coalgebras and \\(T\\)-coalgebra homomorphisms.  Suppose the ground category \\({\\mathcal C}\\) has limits for all ordinal-indexed inverse systems. Then, in particular, \\({\\mathcal C}\\) has a final object; so, given an endofunctor \\(T\\), we may define the final sequence for \\(T\\) by iterating \\(T\\) on that object: the first morphism is given by definition, the second is the image of the first under \\(T\\), and so on. At limit ordinals, we take colimits. A theorem of \\textit{J. Ad\u00e1mek} and \\textit{V. Koubek} [``On the greatest fixed point of a set functor'', Theor. Comput. Sci. 150, 57--75 (1995; Zbl 0874.18001)], and independently by \\textit{M. Barr} [``Terminal coalgebras in well-founded set theory'', Theor. Comput. Sci. 114, 299--315 (1993; Zbl 0779.18004)], gives a provisional existence theorem for final \\(T\\)-coalgebras by saying that: if \\(A_\\alpha\\) is the \\(\\alpha\\)th stage in the final sequence, with \\(f^\\gamma_\\beta: A_\\gamma\\to A_\\beta\\) the uniquely-defined morphism, \\(\\beta\\leq \\gamma\\), and if there is some \\(\\kappa\\) such that \\(f^{\\kappa+1}_\\kappa\\) is an isomorphism, then \\((A_\\kappa,(f^{\\kappa+1}_\\kappa)^{-1})\\) is a final \\(T\\)-coalgebra.  For any regular cardinal \\(\\kappa\\), an endofunctor \\(T\\) is called \\(\\kappa\\)-accessible if it preserves colimits (i.e., inverse limits) of systems, where the directed index set is equipped with upper bounds for all subsets of cardinality \\(<\\kappa\\).   In the present paper the focus is on the ground category \\({\\mathcal C}\\) being the category \\({\\mathcal S}et\\) of sets and functions. The main theorem provides a sufficient condition for the hypothesis of the Ad\u00e1mek-Koubek and Barr theorem to hold; namely it says that: whenever \\(T\\) is a \\(\\kappa\\)-accessible endofunctor on \\({\\mathcal S}et\\), where \\(\\kappa\\) is a regular cardinal, then the morphism \\(f^{\\kappa+\\kappa+1}_{\\kappa+\\kappa}\\) in the final sequence is an isomorphism.   The author then presents in detail the final sequence for the finite powerset functor, which is \\(\\omega\\)-accessible, and shows that there is no ordinal \\(\\alpha< \\omega+\\omega\\) for which \\(f^{\\alpha+1}_\\alpha\\) is an isomorphism.","type":"string"},"datatype":"string"},"type":"statement","id":"Q557796$0E4F3485-FB48-4B2E-AAF6-8AA7361031B6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad60e086a74fc61d4b1f57698734d6ee2f246da9","datavalue":{"value":{"entity-type":"item","numeric-id":306127,"id":"Q306127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$2166C8A2-3BC7-4433-84ED-EA8386EF1600","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557796$30CC058B-CC76-493D-BA11-334EAFF04C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557796$ED699D7B-2449-477C-943F-8CAA0741E87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557796$08855096-4A50-4BB7-8A3C-219A8BFBDB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557796$C4F7D255-F272-49DB-B1E9-E994B552AB25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0adc489ece676b9d3312745818a8734e45495b49","datavalue":{"value":"2184039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557796$B61729EE-F539-4882-8B8A-C89D18C2B986","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f533fdd2b5c4b0208f59278c1f463513728f21b2","datavalue":{"value":"\\(\\kappa\\)-successible endofunctor","type":"string"},"datatype":"string"},"type":"statement","id":"Q557796$C89034F5-256E-4769-988B-4034234064C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e4f3b1db974f6fb28f1400c2bacc1372c3de01","datavalue":{"value":"final sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q557796$F874AC51-02E5-4558-9671-BF8C1F7F237A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201529493a264c73b3683cd320fd5f9e315f58e6","datavalue":{"value":"final coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q557796$5783ADE2-2AF6-443E-A710-5AFF9CDDF485","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":"Q557796$5B7AB078-39D6-4268-BF0D-08C4FC24B351","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bdf16ea74920561ec7f6cac9778c74e29bb47f5","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.12.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q557796$97AEEB21-57F7-4927-B984-93B8B6974FAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bfee62e5528bcd1adfc2cfbc47b196c0928ab29","datavalue":{"value":"W2042266169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557796$1EC54D30-F150-4594-A7FF-27015DA665F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$D9312983-8571-4402-A29F-CAF9D6A08FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2286e0c27de1eb37a1462ffac8c7059d7a659a3e","datavalue":{"value":{"entity-type":"item","numeric-id":1801304,"id":"Q1801304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$4C71C84D-2FCC-4985-BC8C-CE746DF53380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f8e0fade5f34b9b9b91dbec52a15ebba949655","datavalue":{"value":{"entity-type":"item","numeric-id":1398459,"id":"Q1398459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$963A9B91-9AD1-48CF-AB61-3BBAA5BD74C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69870d0e01af12e6cce5f02dfec8095aa44e8838","datavalue":{"value":{"entity-type":"item","numeric-id":1134211,"id":"Q1134211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$898FD37D-5671-421C-84A8-98B045ED9F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532b5e1b8002a7ed1192bb6310235fb274ead388","datavalue":{"value":{"entity-type":"item","numeric-id":672316,"id":"Q672316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$15D6B85C-1C6C-4788-A295-36A6A07C7802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7c0a1f1938e14c19b8bc96f51539354db0a501e","datavalue":{"value":{"entity-type":"item","numeric-id":4917031,"id":"Q4917031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$CF01B731-9F93-4119-B330-09BCF768F091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$16A9FF38-7F6B-42C5-AA7C-2CBE7BD785CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ab4ee3ee8ef05ab2de5721210c2223252774bf","datavalue":{"value":{"entity-type":"item","numeric-id":753944,"id":"Q753944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$4D750FE4-550B-4DA3-A93A-0342E5BCB438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8efb0398a531758f87b83ac3a9bbafc4e6bf8f","datavalue":{"value":{"entity-type":"item","numeric-id":1208195,"id":"Q1208195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$F1C0A490-6511-4D33-B971-E6ACF3BE8C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$37557F22-D05D-4A74-A58D-5B0E303B7157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22906ff63b14d1b8df732c3438ee1a8a421ecaab","datavalue":{"value":{"entity-type":"item","numeric-id":5950751,"id":"Q5950751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$55284655-F29A-4654-9B5A-15A60EE0C16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f82f429bca46514bd67bcf27e4ca0eaf245fc57","datavalue":{"value":{"entity-type":"item","numeric-id":1575951,"id":"Q1575951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$D1893D8F-2EBD-4500-906E-7860F758840B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a69ec3c6cceee861f5cb5fc0b7b805696cd4df02","datavalue":{"value":{"entity-type":"item","numeric-id":757360,"id":"Q757360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$7DC5E478-1F40-4C5A-AD59-A3F481B6C88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$301E297B-2C14-48D9-B7A1-2E5A48849A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eeaef2436b300a3d9753976e242cbe4f90cb965","datavalue":{"value":{"entity-type":"item","numeric-id":4719351,"id":"Q4719351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$5FF47D0E-2AC1-4B3F-BCE8-15FB83C6F538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$36B3C2A8-1FBA-4138-AF6F-7F75A407F6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25969f7743b29002639cae4174d855918498bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":671997,"id":"Q671997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$A6592066-856F-4E93-BA7E-C63DD4F7C622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b22501c4a522544765e1fbc099ade352ff4e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5574731,"id":"Q5574731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$26970DC0-CCB0-437A-B20F-84587339EEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a72681512b62fb97da7c5297937dd9d4fde72f","datavalue":{"value":{"entity-type":"item","numeric-id":4236207,"id":"Q4236207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$9112752D-1DB7-4DCC-980C-1B8B26269393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$551AB932-BC51-425F-B093-83144F56BFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5ec7d8fe15d36eb40752b72a6a0baaf7999a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4256309,"id":"Q4256309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557796$55EB9AA1-0812-40C0-AFFA-76C700A2C1F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81cc3db2fb2f86a217195ee6e7985881f0289c4e","datavalue":{"value":"10.1016/J.TCS.2004.12.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557796$32086B09-05F3-4D28-BA90-EB6DCFBC3FCA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa4531ee7a51f88d05f90992e01c3ade3dcc947","datavalue":{"value":{"entity-type":"item","numeric-id":3094168,"id":"Q3094168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be83373817fb57847ae91f01ba9594d909d76a9","datavalue":{"value":{"amount":"+0.8582220673561096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q557796$F6834BFC-C1CC-4142-884A-1FD07D47C830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0afe3fbd1ba0215f6ccab0878712a4e965588d","datavalue":{"value":{"entity-type":"item","numeric-id":5462661,"id":"Q5462661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e358edb3cf7a20ffa8388a5a719c966ef5aceb","datavalue":{"value":{"amount":"+0.842036247253418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q557796$547A7A33-A43F-4260-ABAA-435C666E206D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d46ca4ffabbd6f34b2eccc4e47b23c9d5f7e72","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebb6a6fbf280aa162c6ff98f964ef4eebaf48875","datavalue":{"value":{"amount":"+0.8419351577758789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q557796$BF730A7E-933C-4440-9762-57C2C4B4A8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960a5c5920a999e3543ca8a33798b77f5ad3b38d","datavalue":{"value":{"entity-type":"item","numeric-id":2843736,"id":"Q2843736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3823a0ac63146e1be8cd05d9dba80f9322a62985","datavalue":{"value":{"amount":"+0.8414033651351929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q557796$AD858635-4925-4347-A549-70AEF8A5D1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba5df14dde303d572073e741a384aeab33eece7","datavalue":{"value":{"entity-type":"item","numeric-id":3056299,"id":"Q3056299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25006a31987951ce27fd3a00c42f869fb50702a","datavalue":{"value":{"amount":"+0.8400104641914368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q557796$46462520-5394-499E-B9F9-D8989E7E0F42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the final sequence of a finitary set functor","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_final_sequence_of_a_finitary_set_functor"}}}}}