{"entities":{"Q1115865":{"pageid":1126614,"ns":120,"title":"Item:Q1115865","lastrevid":69678285,"modified":"2026-04-13T08:39:31Z","type":"item","id":"Q1115865","labels":{"en":{"language":"en","value":"Monotone inductive definitions in a constructive theory of functions and classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4087655"}},"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":"Q1115865$77479C15-C256-4C72-9F0B-5753E29DD72C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8057d3d772d30d5a3e5d5dab1254046c7b7cc13c","datavalue":{"value":{"text":"Monotone inductive definitions in a constructive theory of functions and classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115865$802EDDE3-7889-4090-A93A-1D0BBA356D91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a233d3ebd1a7989d1d7334acc81ae752185935b","datavalue":{"value":"0665.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115865$2B37D4E9-17DE-407C-924F-D0B5FFD6E822","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"548139239db89adf56d1100729de409fea07a164","datavalue":{"value":"10.1016/0168-0072(89)90019-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115865$DCEDDB9F-F3F3-4792-94E1-AC8CF12A12E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc1d7c5dc5bc12e1bee2d025a916bce381a0c352","datavalue":{"value":{"entity-type":"item","numeric-id":217054,"id":"Q217054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115865$F6438974-24B9-491A-A014-7C489B200D92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115865$17747A28-B66E-473E-9046-6286BC0CEFC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1115865$DD2F707E-D4A6-4942-8712-5DAE0BB2EA8B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a4180ab60715d4d0a4c1f0ec04c04a89c138547b","datavalue":{"value":"A constructive theory of functions and classes, \\(T_ 0\\), has been developed by \\textit{S. Feferman} [Lect. Notes Math. 450, 87-139 (1975; Zbl 0357.02029)]. In a constructive framework, functions are given by algorithmic rules of construction and classes are given by defining properties. In the language of \\(T_ 0\\) we are able to formulate the least fixed point principle for monotone inductive definitions (MID) as: every monotone operation f on classes to classes has a least fixed point. The question due to \\textit{S. Feferman} [The L. E. J. Brouwer Centen. Symp., Proc. Conf., Noordwijkerhout/Holl. 1981, Stud. Logic Found. Math. 110, 77-89 (1982; Zbl 0525.03037)] of the strength of \\(T_ 0+M\\) and some related questions are prime concern of this paper. Main results are: the consistency of \\(T_ 0+MID\\) (through constructing the corresponding model in set-theoretic sense) and the proof-theoretical equivalence between a subsystem \\(EM_ 0+J+MID\\) of \\(T_ 0+MID\\) and \\(\\Pi^ 1_ 1-CA\\). This equivalence can be obtained by a careful examination of the analogous model construction for \\(EM_ 0+J+MID\\). The proof-theoretic strength of \\(T_ 0+MID\\) still remains open.    Note that in any model of \\(T_ 0\\) the cardinality of the collection of classes is the same as the cardinality of the universal class \\(V=\\{x| x=x\\}\\) of all entities. So, it does not seem to be possible to use for MID the least fixed point theorem in ZF. There is a similarity with the ordinary Myhill and Shepherdson theorem that every monotone recursive transformation of the indexes of r.e. sets is described by a \\(\\Sigma^+\\)-formula and has a least fixed point. However, in \\(T_ 0\\) classes are unlike r.e. sets, because they are closed under complementation operation. Hence, some additional ideas are used.    The paper is selfcontained and clearly written.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115865$DC34A228-77ED-49D9-B009-E25578F9A20F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115865$B8C0CBC6-DE11-4F03-BB3C-4C2C4A266D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115865$82B1D565-5B53-4347-92ED-C3F3F8F5DB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115865$C6E8E7B6-14CF-4118-A29C-4FF692BA1F16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"603c5a6a205b1ae0a12ba7ecaee7800157085db5","datavalue":{"value":"4087655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115865$EA3C219E-D452-4225-8709-D5F4E6A5D0CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115865$97095FC7-22D6-43D3-828C-257048BC6AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115865$7A3EFBAD-AE11-4207-8260-36C8D8B67A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3a7c26caaa6e6fafd3d4bbf5b10958179a5dfc4","datavalue":{"value":"constructive theory of functions and classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115865$A0D84932-15DA-4EF3-88FD-969107D2B376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e80a5e08c331918b1052b1c30d41683221cf0d02","datavalue":{"value":"least fixed point principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115865$B7A86931-0B53-42E1-82EE-36C7ABC74460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6417d461b2f1224184aba5ae1e7e6a39c4867847","datavalue":{"value":"monotone inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115865$A6FA137D-8359-4C05-AF2E-2A03A9AC4A19","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"21f17c58588273728eeab43e5b397c5212fc4996","datavalue":{"value":{"entity-type":"item","numeric-id":1311972,"id":"Q1311972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115865$58B7BB0D-6C4E-4A2A-9258-4462595F367A","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":"Q1115865$8BC0D0EC-E4E9-49DE-80BD-E0F21F41D5D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19beb59346b9f9ff33dd10c14e44260abc312f34","datavalue":{"value":"https://doi.org/10.1016/0168-0072(89)90019-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1115865$07A98D67-B08E-4DEA-9284-F1D1FE11804D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c673da5ee02647c786caff4a790a390ddd304d4b","datavalue":{"value":"W2035074687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115865$1671FBCE-4193-4B38-B87D-87EAC028C4D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115865$0D0D2F33-D3EC-4A30-B1D4-B757EE8B9F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115865$6702ED99-26C7-4496-99F8-D15A73258FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"976fb4f3d01716802cb0f5b2570ef5544a8a2dff","datavalue":{"value":{"entity-type":"item","numeric-id":3039340,"id":"Q3039340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115865$98067FCE-919E-46E9-A701-F243BBB9E40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115865$F7404129-D73E-4851-986B-F1EFA6EA30F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"287785aa8651b26f912f2bcca2b2a743939d591e","datavalue":{"value":{"entity-type":"item","numeric-id":4146722,"id":"Q4146722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115865$5E2CBECB-710E-49AC-9F3B-4A782DEA37D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"499a95bca207fbf8c7061b1c293c572cca9800de","datavalue":{"value":{"entity-type":"item","numeric-id":3041187,"id":"Q3041187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115865$917E74E4-4E88-4964-883F-4895E947595A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab358c92256243f420d7acaf3d76a80fa6e7b63","datavalue":{"value":{"entity-type":"item","numeric-id":5622175,"id":"Q5622175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115865$F7F28C7F-898D-4E3E-A314-9AA6BAAE63A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6452450bcc9d58f3467a1463aad43bdb776205e3","datavalue":{"value":{"entity-type":"item","numeric-id":3230369,"id":"Q3230369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115865$DDAA509C-E6DC-43D7-978F-4493F9A381B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115865$D58C2D37-169E-4855-B1EA-F25A7C0C037C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0a39f0e06298ce787652afad2bc1ca371357dd6b","datavalue":{"value":"Q127207371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115865$FA54D3B9-5664-4BA3-94F7-B747943D26DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a12a6bb3df40bd72b73bfe003d9bfd10f327548","datavalue":{"value":{"entity-type":"item","numeric-id":4879904,"id":"Q4879904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49f9a7f153d926db32ef693a70d774ddbd75ffd","datavalue":{"value":{"amount":"+0.74614215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115865$73B56A04-ECCB-4F90-A841-A3BF4F51476D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da30fc5c22f3ff875dcc748ac7c99ff2726d3b4","datavalue":{"value":{"entity-type":"item","numeric-id":4447153,"id":"Q4447153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c0364a6243764a6792aef4dced73dbb9219d97","datavalue":{"value":{"amount":"+0.72342885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115865$92ED258D-7E4C-4CFE-A2A1-E56E8C0CD1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113bf435cdf9d8c3e950de25c158a57f3f97d6b2","datavalue":{"value":{"entity-type":"item","numeric-id":3699688,"id":"Q3699688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99148f53cd87c57e4e66a740970eee37f73cde80","datavalue":{"value":{"amount":"+0.72244024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115865$04CD7A64-1671-4D97-A650-7BBBAE625E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29b0b908fa5cde520fe133ea8f94d55f03b9ef3a","datavalue":{"value":{"entity-type":"item","numeric-id":4793037,"id":"Q4793037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590b3dcb748f0c30f6642801aa5cab3fd128c189","datavalue":{"value":{"amount":"+0.7214795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115865$239C1D4A-1F25-4F0D-B0BA-E082192B68D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aca518691ed6c3933ed539a1c44f5038a159aea","datavalue":{"value":{"entity-type":"item","numeric-id":3197877,"id":"Q3197877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa554ba20329178c12ddcdabd70a259ee24b2b7","datavalue":{"value":{"amount":"+0.71710485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115865$4BC48595-351A-4B8B-BA5E-1BF4AB322A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d5cdac481aab1d0ee05f0b1f7ed0c1c79c873e","datavalue":{"value":{"entity-type":"item","numeric-id":4853337,"id":"Q4853337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762d37007e55b1333f8271d437620c1f88e3bb46","datavalue":{"value":{"amount":"+0.7167207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115865$E3244C16-6BF8-4493-B757-53B4091733C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49df5b352c0cb57e4d10ceb98a4c3dd02a32501a","datavalue":{"value":{"entity-type":"item","numeric-id":5435636,"id":"Q5435636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e637fb75817737bf9d82434062480637b9ce74","datavalue":{"value":{"amount":"+0.71069336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115865$B7C07BAD-2FAD-4B53-AA38-F7DFD3305C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557eec930bee0c47a139b84a1c5cfe6cccd25912","datavalue":{"value":{"entity-type":"item","numeric-id":4212918,"id":"Q4212918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0795c38f4765be3afbb9a2798e6c70ecbaf7a2dc","datavalue":{"value":{"amount":"+0.70994794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115865$04675144-EAEC-4EC7-8233-3E1F0B168C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5531ee82428d164e989bcf3a0461f04bdc72c74","datavalue":{"value":{"entity-type":"item","numeric-id":4252873,"id":"Q4252873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f8efecc851e2a0418d9f82a1bd6b64bf28eb0d","datavalue":{"value":{"amount":"+0.7076503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115865$66F331A8-B395-4B3D-BFC0-18ABF7419D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b30cefc0567a1799d2422bf40d9123d00f024ad","datavalue":{"value":{"entity-type":"item","numeric-id":2944797,"id":"Q2944797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a1882e980e74b62ae454bdc90d3d758255d968","datavalue":{"value":{"amount":"+0.7074533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115865$0E3A2838-EBF9-49BD-926D-B1B81875C063","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monotone inductive definitions in a constructive theory of functions and classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monotone_inductive_definitions_in_a_constructive_theory_of_functions_and_classes"}}}}}