{"entities":{"Q1386672":{"pageid":1397412,"ns":120,"title":"Item:Q1386672","lastrevid":68597850,"modified":"2026-04-13T00:49:33Z","type":"item","id":"Q1386672","labels":{"en":{"language":"en","value":"An intuitionistic fixed point theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1156507"}},"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":"Q1386672$3E5DA804-3831-453B-9D44-C048C253E34D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81ca7a06b4a0777e8766baba7978213c5194221e","datavalue":{"value":{"text":"An intuitionistic fixed point theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1386672$D6D30766-3AAF-48E8-BF84-99F151DA0070","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bd2da51fd35ec29fea0d954986b6e6ae1d1d18f","datavalue":{"value":"0903.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386672$9E7C41AB-56EE-426A-AB47-C2B9E1E66643","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca3d0fdc4dfe73f15e4cc6198de2fda062014c98","datavalue":{"value":{"entity-type":"item","numeric-id":204229,"id":"Q204229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386672$05B0B680-02E2-4AC8-9DCC-087009CBFD73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386672$544FB865-167B-44AC-BABE-A87FBEB0BDE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d75c8972e3f2f65d76ef5c0db6d9fd21365ddf3b","datavalue":{"value":{"time":"+1998-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1386672$7964C447-1425-41A8-9A29-408F70C11240","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a46f7e77c5864302e8092c177c0d724712a3deb0","datavalue":{"value":"In the paper under review the author shows that the theory \\(\\widehat{ID} ^i_1\\) is conservative over Heyting Arithmetic, \\(HA\\), w.r.t. almost negative formulas. \\(\\widehat{ID}^i_1\\) is the extension of \\(HA\\) obtained by adding new predicate constants \\(P_\\Phi\\) for every strongly positive formula \\(\\Phi (X,x)\\) containing just free the individual variable \\(x\\) and the unary predicate variable \\(X\\), and the new axioms \\((FP_\\Phi)\\) \\(\\forall x(\\Phi(P_\\Phi, x) \\leftrightarrow P_\\Phi x).\\) Almost negative formulas (of the language \\({\\mathcal L}_0\\) of number theory with function symbols for all recursive functions) do not contain \\(\\vee\\) and contain \\(\\exists\\) only for equations between terms [cf. \\textit{A. S. Troelstra}, Metamathematical investigation of intuitionistic arithmetic and analysis (Lect. Notes Math. 344) (1973; Zbl 0275.02025), 3.2.9]. Strongly positive formulas are built up by atomic formulas of \\({\\mathcal L}_0\\) and the unary predicate symbol \\(P\\) using the logical symbols \\(\\wedge, \\vee, \\exists, \\forall.\\)   In \\S 1, Theorem 1 is proved, namely that in \\(HA + CT_0\\) \\((FP_\\Phi)\\) is provable, \\(CT_0\\) being Church's thesis (cf. Troelstra (loc. cit.)).   As was shown in the introduction, Theorem 1 and material from Troelstra (loc. cit.) give Theorem 2, the above conservativity result.   But this is not the whole story. The author assures that Theorem 2 can be generalized to:   Theorem \\(2'\\). If \\(\\prec\\) is a primitive recursive binary relation and \\(TI (\\prec \\upharpoonright)\\) the schema of transfinite induction over all proper initial segments of \\(\\prec\\), then \\(\\widehat{ID}^i_1+TI(\\prec \\upharpoonright)\\) is conservative over \\(HA + TI(\\prec \\upharpoonright)\\) w.r.t. almost negative formulas.   This has interesting consequences for proof theory. Cut elimination and thus ordinal analysis of a semi-formal theory \\(Th\\) (also classical) can be formalized in \\(\\widehat{ID}^i_1+TI(\\prec \\upharpoonright).\\) The definition of a derivability predicate \\(\\vdash ^\\alpha_\\varrho F\\) can be considered a fixpoint axiom in this theory. This amounts to  \\[  \\widehat{ID}^i_1 +TI (\\prec \\upharpoonright)\\vdash P_\\omega \\langle \\underline{\\alpha},\\ulcorner A \\urcorner \\rangle \\]  for any arithmetical sentence \\(A\\) with G\u00f6del number \\(\\ulcorner A \\urcorner\\) derivable in \\(Th\\), \\(P_\\omega\\) denoting the fixpoint constant of \\(\\widehat{ID}^i_1\\) related to cut-free derivation, and \\(\\underline{\\alpha}\\) a notation of the element \\(\\alpha\\) of \\(Fd (\\prec)\\) for which \\(\\vdash ^\\alpha_0 A\\) holds.   In \\S 2 the author shows that for every arithmetical sentence \\(A\\) and every  \\[  \\alpha\\in Fd (\\prec) \\widehat{ID}^i_1 + TI (\\prec \\upharpoonright) \\vdash P_\\omega \\langle \\underline{\\alpha}, \\ulcorner A \\urcorner \\rangle \\Rightarrow A^g,  \\]  \\(A^g\\) being the G\u00f6del translation of \\(A\\). It comes into play by introducing a truth-predicate \\(\\mathbf T_n(z)\\), for which \\(HA \\vdash A^g \\leftrightarrow {\\mathbf T}_n (\\ulcorner A \\urcorner)\\), if \\(rk(A) \\leq n.\\) (1) and (2) implies \\(\\widehat{ID}^i_1 + TI (\\prec \\upharpoonright) \\vdash A^g.\\) Since \\(A^g\\) is almost negative, this implies \\(PA + TI(\\prec \\upharpoonright) \\vdash A.\\)   T. Arai showed that Theorem 2 can be proved for arbitrary index \\(n\\) instead of index 1.   The paper contains everything necessary for understanding the procedure in the proofs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386672$901BCF26-CF76-41B1-873B-CA4622E823A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386672$75D10CE6-A7D4-4108-8DBD-DFB333DF3912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386672$604B30BA-BC98-4681-9FCB-A59398B56875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386672$0EDD1CF5-E590-41B4-9DD1-4FE45DAFA3C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc253bdf429fff69be2441e238d78837a9b2d4ce","datavalue":{"value":"1156507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386672$2613C51B-2567-4A29-AC7D-6790E647152B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386672$6C611B5B-4092-4D65-AF07-95A72060FEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"176e12532eef0a99e4093b8bb4dee331f12d3fee","datavalue":{"value":"extension of Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386672$85874FB4-4DCC-47EC-A00E-F170C33C5D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386672$BEE5A6BC-9AEA-42F9-97BF-453753286A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8708a08e9d466d815b71012d7a8d051d663c647f","datavalue":{"value":"fixed point axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386672$0A101BE6-22E9-4452-9BEB-3D86434502DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a04e2b7faacaac1264fdc4b01507a38df1923c8","datavalue":{"value":"almost negative formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386672$9E5B1E44-0C55-45A3-9E72-53237F2D7AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c13fa05aafb511a6754539655d813631955bc4c","datavalue":{"value":"strongly positive formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386672$30453E79-7E89-4F3E-A7D1-CD2B82151DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386672$49AD07DC-C1CB-4966-BC1C-8A7FDF24FBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386672$C0695CBC-ECA0-4910-BEF5-A02A209626A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"163ec69d0ec32a82bc1c5090cc8d87523f67b825","datavalue":{"value":"semi-formal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386672$23621801-AC5E-4662-9845-B17155DACD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83aabf840fdc0eedeadff33436547ad948170478","datavalue":{"value":"derivability predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386672$38C8BFEE-652D-432A-A59C-6C54895A3A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4221e3ddb0a8a18735f0c9ba8301ab3a063f40","datavalue":{"value":"G\u00f6del translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386672$87B382C0-4960-469A-A4A9-A6C8B4359918","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0580dd4129e5d6439921b513d45494c072f33534","datavalue":{"value":{"entity-type":"item","numeric-id":1288968,"id":"Q1288968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386672$73A5E214-EB47-43E2-BE23-9E65348F32DE","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":"Q1386672$6916A3BB-E2B2-4601-8621-4A606F01AC93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5629a64e4095a0a1c81fc66ddb7b325c455b9898","datavalue":{"value":"https://doi.org/10.1007/s001530050079","type":"string"},"datatype":"url"},"type":"statement","id":"Q1386672$6AC1E3D0-72D4-4D71-A0A4-554618826416","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8794a1b5088df2e20222622d22378da81cad9f0","datavalue":{"value":"W1987795668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386672$24D5F73C-A4E3-4A59-9DFE-EBC16C1B3FE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb2094387cf098085b6b11a4785bf396421df417","datavalue":{"value":"10.1007/S001530050079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386672$80D2124A-D7CB-450C-BF3A-C48FF116E3EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33aea151cb723821dcafbe47b6c70083af81c887","datavalue":{"value":{"entity-type":"item","numeric-id":494642,"id":"Q494642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a844245541f2aedc4538e7577a8358a44fc9ada9","datavalue":{"value":{"amount":"+0.9359635","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":"Q1386672$BCAA7370-35B4-4366-8F97-04C00EFD49FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f90e9bc94faf1eed182284e28c42ddcf8f3554b","datavalue":{"value":{"entity-type":"item","numeric-id":3001089,"id":"Q3001089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d18e03cedd46d9c5f586adcb723f89e592b8be5","datavalue":{"value":{"amount":"+0.927366","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":"Q1386672$16AE5FDE-6DCF-49C3-B16B-80A8DB0FF1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9033a2cd142c6f42af635574ae698a82d212b6ef","datavalue":{"value":{"entity-type":"item","numeric-id":1877095,"id":"Q1877095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e0499c3ef0c278cef3e6a4a5205df931d397e8","datavalue":{"value":{"amount":"+0.91940904","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":"Q1386672$930E1617-52F9-4FB2-B9D2-2D4E94D8AE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a340bbb509c147a01d000cf3d29d150bc07e816","datavalue":{"value":{"entity-type":"item","numeric-id":2220485,"id":"Q2220485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848c1e7b17b773a4e7acbeb0119c4036ceb72c9a","datavalue":{"value":{"amount":"+0.90665984","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":"Q1386672$F72491E8-ACCA-421C-9512-131F6F96DDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107b065668b205178c8b3bd456abe2b23e383b61","datavalue":{"value":{"entity-type":"item","numeric-id":3145979,"id":"Q3145979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a69ec51132c4b8af83da2bb4c7296a2fe6b32003","datavalue":{"value":{"amount":"+0.9048873","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":"Q1386672$C72690B3-7640-4EAB-9C69-5A3921ED3D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e416d82ec0022dcbee7cffe43b56fb6dacca66d0","datavalue":{"value":{"entity-type":"item","numeric-id":3466577,"id":"Q3466577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e36d4c498844b3b6276d47a79fa181b6c5e606","datavalue":{"value":{"amount":"+0.8972946","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":"Q1386672$B31298D6-2089-4E56-985E-B417FF538552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40fea031be42012ff71264b65ee2b394012ebde7","datavalue":{"value":{"entity-type":"item","numeric-id":4623093,"id":"Q4623093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3846fb107753ab1d78a9fc9182bc2f2ade65ab","datavalue":{"value":{"amount":"+0.8955378","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":"Q1386672$7CEC7ABE-8ABD-4605-944F-4C228544EE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b6ae67938b0e985f8058a65d7525bc4a60ca45","datavalue":{"value":{"entity-type":"item","numeric-id":5013911,"id":"Q5013911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b297fd4257ec348aed45a01ae96db9eb30a11ab","datavalue":{"value":{"amount":"+0.8955188","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":"Q1386672$7E3C8381-9174-46C2-AB9E-C92D19B42E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2084a8a0d75b26338494731d01c0a4f6e6032cc5","datavalue":{"value":{"entity-type":"item","numeric-id":4531084,"id":"Q4531084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b403e1b76ed682fcec861c3d71ec6d840707aae8","datavalue":{"value":{"amount":"+0.895282","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":"Q1386672$F1F2F51D-FA44-4666-96C1-94CD18F0E16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6653cfba2d974d3525fbce7dbdb0efb1b2626d46","datavalue":{"value":{"entity-type":"item","numeric-id":3782439,"id":"Q3782439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749403345dc6892756c8426a552f1650748b3112","datavalue":{"value":{"amount":"+0.89507097","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":"Q1386672$48F32E9F-FB4D-4F85-8781-FCDCC5BA51D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An intuitionistic fixed point theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_intuitionistic_fixed_point_theory"}}}}}